Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- == Installing ==
- Source http://jeff.dallien.net/posts/installing-plunit-on-ubuntu
- Steps to install:
- 0) Download SWI-Prolog:
- $ git clone git://prolog.cs.vu.nl/home/pl/git/pl.git
- $ cd pl/
- 1) Check the version of swipl:
- $ swipl -v
- if SWI-Prolog version 5.10.4 or above, skip to 3)
- 2) Update Swi-Prolog with the following steps or from INSTALL file:
- In 'pl/' directory:
- $ ./configure
- Using synaptic, install what dependencies are needed;
- I, myself, installed gcc, curl and libxpm-dev, libxt-dev, libxft-dev.
- $ make
- $ make check (should pass all tests)
- $ sudo make install
- Reinstall swi-prolog (using synaptic, you will see three of them to reinstall)
- $ swipl -v (should give version 5.10.4 or above now)
- $ cd packages
- $ ./configure
- $ make
- $ sudo make install
- 3) Configure the plunit submodule:
- In 'pl/' directory:
- $ git submodule update --init packages/plunit
- $ cd packages/plunit
- $ autoconf
- $ ./configure
- $ sudo make install
- == Testing after installation ==
- $ cd pl/packages/plunit/examples
- $ swipl
- ?- [simple], run_tests.
- output:
- % simple compiled into ex_simple 0.00 sec, 12,240 bytes
- % PL-Unit: lists ........ done
- % All 8 tests passed
- true.
- == Other problems ==
- If you encounter other dependencies that are needed, while going through step 2),
- it could be a good idea to do the following:
- (suppose your dependency errors appear in ./configure)
- $ strace -f -e open ./configure 2> out.txt
- Then inspect the final lines of out.txt for errors because of not installed libraries. Good luck!
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement