This is just a comment about the build from source on Fedora 30:

The only way to build succesfully is to follow the instructions here:

https://eu.swi-prolog.org/build/unix.html

The git method is the only that worked for me. Using the tar.gz file gave me errors like "Incompatible pointer Type" and the build stops at 68%.

If i clone the project manually and try to build i have the same results. So it's important to use this after the clone:

git submodule update --init

After that the install and swipl works fine. I think this will work on Fedora 29 too.

Edit: The dependencies posted still working fine with this Fedora version.

jan, on fedora 22, libjpeg-devel seems to be renamed to libjpeg-turbo-devel

This page refers to RHEL 5 and 7. I want to tell my experience on RHEL 7.2:

=================================

1) After installing the usual dependencies (in particular gmp-devel) I was able to compile SWI versions 5 and 6 from source. All good there.

However, SWI version 7 did not compile and ended with:

pl-global.h:491:5: error: unknown type name ‘gmp_randstate_t’ { gmp_randstate_t state; ^ make[1]: *** [pl-atom.o] Error 1

I believe this is because version 7 requires an even newer version of gmp-devel (my system has gmp-devel-6.0.0-12.el7_1.x86_64)

2) I tried to build the RPM and went far, but in ended with these errors related to java:

Creating destination directory: "../../docs/java_api/javadoc/" Standard Doclet version 1.8.0_71 Building tree for all the packages and classes... Generating ../../docs/java_api/javadoc/jpl/fli/atom_t.html... jpl/fli/atom_t.java:38: error: block element not allowed within inline element <i>: p

• Copyright (C) 1998 Fred Dushin<p> ^ jpl/fli/atom_t.java:43: error: tag not allowed here: <p>
• of the License, or (at your option) any later version.<p> ^ jpl/fli/atom_t.java:48: error: tag not allowed here: <p>
• GNU Library Public License for more details.<p> ^ jpl/fli/atom_t.java:50: error: malformed HTML
• @author Fred Dushin <fadushin@syr.edu> ^ I do have openjdk installed actually:

java-1.7.0-openjdk-1.7.0.95-2.6.4.0.el7_2.x86_64 java-1.8.0-openjdk-1.8.0.71-2.b15.el7_2.x86_64 java-1.7.0-openjdk-headless-1.7.0.95-2.6.4.0.el7_2.x86_64 java-1.8.0-openjdk-headless-1.8.0.71-2.b15.el7_2.x86_64 java-1.8.0-openjdk-devel-1.8.0.71-2.b15.el7_2.x86_64

Finally, the link to the src.rpm in step 2 (Building the RPM) is broken, but one can get those rpm from here:

http://www.filewatcher.com/m/pl-5.10.2-3.fc15.src.rpm.15161371-0.html

That's all. Not sure how useful it could be, but just in case someone needs to try RHEL 7.2. The good news is that SWI 6 compiles well (and I believe 7 will compile in a system with a new gpm, as per https://sourceforge.net/p/x11-basic/discussion/75527/thread/3c6f9295/)