Building of SWI-Prolog from Source
# rm -rf swipl-devel
git clone https://github.com/SWI-Prolog/swipl-devel.git swipl-devel
(cd swipl-devel/
git reset --hard HEAD
git clean -f -x
git checkout origin/master . -f
git submodule update --init
git pull --recurse-submodules
mkdir -p build
cd build
cmake -DCMAKE_INSTALL_PREFIX=/opt/logicmoo_workspace -G "Unix Makefiles" ..
make
ctest -j 8
make install
)
[ 80%] Generating redisstreams.tex
ERROR: /opt/logicmoo_workspace/swipl-devel/build/home/library/redis.pl:92:
ERROR: /opt/logicmoo_workspace/swipl-devel/build/home/library/redis.pl:92: Initialization goal raised exception:
ERROR: '$open_shared_object'/3: redis4pl: cannot open shared object file: No such file or directory
[ 80%] Generating libredis.tex
ERROR: /opt/logicmoo_workspace/swipl-devel/build/home/library/redis.pl:92:
ERROR: /opt/logicmoo_workspace/swipl-devel/build/home/library/redis.pl:92: Initialization goal raised exception:
ERROR: '$open_shared_object'/3: redis4pl: cannot open shared object file: No such file or directory
[ 80%] Generating redis.html
[ 80%] Built target redis.doc.html
Scanning dependencies of target pengines
[ 80%] Built target pengines
Scanning dependencies of target pengines.doc.html
[ 80%] Generating pengines.tex
[ 80%] Generating pendoc.tex
[ 80%] Generating penlib.tex
[ 80%] Generating termtojson.tex
[ 80%] Generating pengines.html
[ 80%] Built target pengines.doc.html
Scanning dependencies of target pldoc.doc.html
[ 80%] Copying pre-build LaTeX .bbl file
[ 80%] Generating pldoc.tex
[ 80%] Generating latex.tex
[ 80%] Generating docfiles.tex
[ 80%] Generating pldoc.html
[ 81%] Built target pldoc.doc.html
Scanning dependencies of target plunit
[ 81%] Built target plunit
Scanning dependencies of target plunit.doc.html
[ 81%] Generating plunit.tex
[ 81%] Generating plunit.html
[ 81%] Built target plunit.doc.html