Swipl 8.2.1/8.3.4 - Linux compiling fails

Hi Everyone!

(Linux Ubuntu 20.04)
After downloading and while performing the instructions presented at the swipl Linux installation page:

cd swipl-8.3.4
mkdir build
cd build
cmake -DCMAKE_INSTALL_PREFIX=/usr/local ..
make 

The process stops at 95% with the following error:

make: *no rule to make the target “man/archive” needed to “man/lib/prologpack.tex”. Stop.
make: *** [CMakeFiles/Makefile2:2599: man/CMakeFiles/core.doc.html.dir/all] Erro 2

Am I missing something?
Thanks in advance for your help.

I don’t build from source for Linux but do use a Linux version from time to time.

Unless you need to build from source are you aware that there is a PPA available?
Install SWI-Prolog development version on Ubuntu using PPA

Most likely the dependencies :slight_smile: See https://www.swi-prolog.org/build/Debian.txt. If you just want the core system for some reason (typically only if you want a minimal embedded system), disable the packages and documentation.

1 Like

I’ve had this happen to me from time to time on Ubuntu 18.04. I just added “mkdir -p …/man/archive” to my build steps. At one point @jan Jan noticed this and told me it wasn’t needed. YMMV