can't build gprolog 1.4.5 on RHEL 7.5 x86-64 (regression)

[Paul Eggert]

I recently tried to build gprolog 1.4.5 on RHEL 7.5 x86-64, and ran into 
problems.

First, downloading is painful. With previous releases I could issue a shell 
command like this:

wget https://ftp.gnu.org/gnu/gprolog/gprolog-1.4.4.tar.gz

But when I try that with 1.4.5, it doesn't work. Is there some reason gprolog is 
no longer being distributed via gnu.org?

I then visited <https://gprolog.org/> and Firefox said, "Your connection is not 
secure. The owner of gprolog.org has configured their website improperly. To 
protect your information from being stolen, Firefox has not connected to this 
website. gprolog.org uses an invalid security certificate. The certificate is 
only valid for the following names: *.univ-paris1.fr, trantor.univ-paris1.fr, 
univ-paris1.fr Error code: SSL_ERROR_BAD_CERT_DOMAIN". Could you please fix 
this? https: is becoming ssential nowadays.

So I backed off to <http://gprolog.org/>, and its Download section points to 
<http://gprolog.org/gprolog-1.4.5.tar.gz>. This command does work:

wget http://gprolog.org/gprolog-1.4.5.tar.gz

but it's http, not https, which is easily subject to man-in-the-middle attacks.


After downloading I could not build gprolog. I ran these commands:

tar xf gprolog-1.4.5.tar.gz
cd gprolog-1.4.5/src
./configure --prefix=/usr/local/cs/gprolog-1.4.5
make

This eventually failed as follows:

...
gplc -c wam_emit.wam
[ ! -f  pl2wam ] || cp pl2wam pl2wam0
gplc -o pl2wam --no-fd-lib-warn --no-top-level pl2wam.o read_file.o syn_sugar.o 
internal.o code_gen.o reg_alloc.o inst_codif.o first_arg.o indexing.o wam_emit.o
make[1]: Leaving directory `/dev/shm/eggert/gprolog-1.4.5/src/Pl2Wam'
make[1]: Entering directory `/dev/shm/eggert/gprolog-1.4.5/src/Fd2C'
gplc -c --fast-math fd2c.pl

Fatal Error: Segmentation Violation (bad address: 0x100ec814853)
compilation failed
make[1]: *** [fd2c.o] Error 1
make[1]: Leaving directory `/dev/shm/eggert/gprolog-1.4.5/src/Fd2C'
make: *** [all] Error 1
...


I went back to gprolog 1.4.4 and it downloaded and built without trouble.

My RHEL 7.5 platform has kernel 3.10.0-862.14.4.el7.x86_64 and gcc (GCC) 4.8.5 
20150623 (Red Hat 4.8.5-28). The CPU is an Intel Xeon E5-2640 v2.