swipl
swipl copied to clipboard
Installation fails
I'm following the commands:
cd swipl-devel mkdir build cd build cmake -DCMAKE_INSTALL_PREFIX=$HOME/opt/swipl-8.0.3 .. make ctest -j 4 sudo make install
where DCMAKE_INSTALL_PREFIX=$HOME/opt/swipl-8.0.3. During make I get the repeated error shown in the attached image, which regards tex files generation.
I get the same error with the development version downloaded from the github repository at https://github.com/SWI-Prolog/swipl-devel.git.

That is a dependency issue that should be resolved. For now, make sure GMP is installed or disable the documentation. You probably want GMP support anyway,