Advertisement
andrei31

plunit

Sep 18th, 2011
77
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Bash 1.54 KB | None | 0 0
  1. == Installing ==
  2.  
  3. Source http://jeff.dallien.net/posts/installing-plunit-on-ubuntu
  4. Steps to install:
  5.  
  6. 0) Download SWI-Prolog:
  7.  
  8. $ git clone git://prolog.cs.vu.nl/home/pl/git/pl.git
  9. $ cd pl/
  10.  
  11. 1) Check the version of swipl:
  12.  
  13. $ swipl -v
  14. if SWI-Prolog version 5.10.4 or above, skip to 3)
  15.  
  16. 2) Update Swi-Prolog with the following steps or from INSTALL file:
  17.  
  18. In 'pl/' directory:
  19. $ ./configure
  20.  
  21. Using synaptic, install what dependencies are needed;
  22. I, myself, installed gcc, curl and libxpm-dev, libxt-dev, libxft-dev.
  23.  
  24. $ make
  25. $ make check (should pass all tests)
  26. $ sudo make install
  27.  
  28. Reinstall swi-prolog (using synaptic, you will see three of them to reinstall)
  29.  
  30. $ swipl -v (should give version 5.10.4 or above now)
  31. $ cd packages
  32. $ ./configure
  33. $ make
  34. $ sudo make install
  35.  
  36. 3) Configure the plunit submodule:
  37.  
  38. In 'pl/' directory:
  39. $ git submodule update --init packages/plunit
  40. $ cd packages/plunit
  41. $ autoconf
  42. $ ./configure
  43. $ sudo make install
  44.  
  45.  
  46. == Testing after installation ==
  47.  
  48. $ cd pl/packages/plunit/examples
  49. $ swipl
  50. ?- [simple], run_tests.
  51.  
  52. output:
  53.  
  54. % simple compiled into ex_simple 0.00 sec, 12,240 bytes
  55. % PL-Unit: lists ........ done
  56. % All 8 tests passed
  57. true.
  58.  
  59.  
  60. == Other problems ==
  61.  
  62. If you encounter other dependencies that are needed, while going through step 2),
  63. it could be a good idea to do the following:
  64. (suppose your dependency errors appear in ./configure)
  65.  
  66. $ strace -f -e open ./configure 2> out.txt
  67.  
  68. 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