I downloaded plweb from http://www.swi-prolog.org/git/plweb.git/snapshot/7cd70cef6011b480ef05f2b8679728abba719c0c.tar.gz
$cd plweb-7cd70ce/
$./run
ERROR: plweb-7cd70ce/register.pl:35:
source_sink `library(smtp)' does not exist
Warning: plweb-7cd70ce/register.pl:35:
Goal (directive) failed: register:use_module(library(smtp))
Warning: plweb-7cd70ce/load.pl:50:
Using CLP(FD) with bounded arithmetic may yield wrong results.
ERROR: /home/***/swi-prolog/lib/swipl-6.2.6/library/clp/clpq/store_q.pl:347:
evaluable `-1 rdiv _G43862' does not exist
ERROR: /home/***/swi-prolog/lib/swipl-6.2.6/library/clp/clpq/bv_q.pl:85:
Exported procedure store_q:isolate/3 is not defined
...
Regards !
After your question, I tried the same, from the link you supply, but got different errors: about
smtp
, try?- pack_install(smtp).
that solved the first error for me. Then I have different problems than yourswhile you are running without GMP support. I'll try to recover helpidx.pl and I'll report the outcome, but cannot say anything about miss GMP support (I do have it).
edit I took the first link that google answer when queried 'swi-prolog generate helpidx', pasted the source in a library directory (paths inspected with
?- file_search_path(library, X).
). Then I've done:I think that helpidx.pl is meant to be generated, not picked from a random source.. Next I'll try to understand better the documentation server, to see if I can solve this last problem.
HTH