(1) Checking out dlvhex:
+ install svn: sudo apt-get install subversions
+ create ~/Documents/software (just a convention)
+ check out: svn co http://DLVHEX-URL/trunk dlvhex
svn co https://dlvhex.svn.sourceforge.net/svnroot/dlvhex/dlvhex/trunk dlvhex
(2) Cheching out dlvhex-dlplugin
+ check out: svn co https://dlvhex.svn.sourceforge.net/svnroot/dlvhex/dlvhex-dlplugin/trunk dlvhex-dlplugin
(3) setup boost 1.35:
wget http://launchpadlibrarian.net/14813106/libboost1.35-doc_1.35.0-5_all.deb http://launchpadlibrarian.net/14813108/libboost1.35-dev_1.35.0-5_i386.deb http://launchpadlibrarian.net/14813133/libboost-wave1.35.0_1.35.0-5_i386.deb http://launchpadlibrarian.net/14813134/libboost-wave1.35-dev_1.35.0-5_i386.deb http://launchpadlibrarian.net/14813131/libboost-thread1.35.0_1.35.0-5_i386.deb http://launchpadlibrarian.net/14813132/libboost-thread1.35-dev_1.35.0-5_i386.deb http://launchpadlibrarian.net/14813129/libboost-test1.35.0_1.35.0-5_i386.deb http://launchpadlibrarian.net/14813130/libboost-test1.35-dev_1.35.0-5_i386.deb http://launchpadlibrarian.net/14813127/libboost-system1.35.0_1.35.0-5_i386.deb http://launchpadlibrarian.net/14813128/libboost-system1.35-dev_1.35.0-5_i386.deb http://launchpadlibrarian.net/14813125/libboost-signals1.35.0_1.35.0-5_i386.deb http://launchpadlibrarian.net/14813126/libboost-signals1.35-dev_1.35.0-5_i386.deb http://launchpadlibrarian.net/14813123/libboost-serialization1.35.0_1.35.0-5_i386.deb http://launchpadlibrarian.net/14813124/libboost-serialization1.35-dev_1.35.0-5_i386.deb http://launchpadlibrarian.net/14813121/libboost-regex1.35.0_1.35.0-5_i386.deb http://launchpadlibrarian.net/14813122/libboost-regex1.35-dev_1.35.0-5_i386.deb http://launchpadlibrarian.net/14813117/libboost-program-options1.35.0_1.35.0-5_i386.deb http://launchpadlibrarian.net/14813118/libboost-program-options1.35-dev_1.35.0-5_i386.deb http://launchpadlibrarian.net/14813115/libboost-iostreams1.35.0_1.35.0-5_i386.deb http://launchpadlibrarian.net/14813116/libboost-iostreams1.35-dev_1.35.0-5_i386.deb http://launchpadlibrarian.net/14813113/libboost-graph1.35.0_1.35.0-5_i386.deb http://launchpadlibrarian.net/14813114/libboost-graph1.35-dev_1.35.0-5_i386.deb http://launchpadlibrarian.net/14813111/libboost-filesystem1.35.0_1.35.0-5_i386.deb http://launchpadlibrarian.net/14813112/libboost-filesystem1.35-dev_1.35.0-5_i386.deb http://launchpadlibrarian.net/14813109/libboost-date-time1.35.0_1.35.0-5_i386.deb http://launchpadlibrarian.net/14813110/libboost-date-time1.35_1.35.0-5_i386.deb
sudo dpkg -i libboost*.deb
sudo apt-get install -f
(4) install libcurl
sudo apt-get install libcurl3-dev libwww-curl-perl python2.4-pycurl
(5) configuring dlvhex-dlplugin for more purposes:
../configure CXXFLAGS="-g -O2 -W -Wall" --enable-debug
(6) configuring dlvhex-dlplugin for more purposes:
../configure CPPFLAGS="-DDLPLUGIN_DEBUG"
(n) Now installing is easy:
make
sudo make install