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.
_______________________________________________
Bug-prolog mailing list
address@hidden
https://lists.gnu.org/mailman/listinfo/bug-prolog