Hi,
it seems that there is some kind of bug in the code in a release 1.4.1
of the GNU Prolog. Due to lack of time I didn't look at the source
code, but I would expect that the command (without any additional
flags) works well:
./configure && make
In my case it doesn't. The first one finishes with success while the
second one produces compilation error.
To provide you the most useful information I executed:
./configure > configure_output.txt && make > compilation_error.txt 2>&1
and attach its results to this email. If it's about my OS, it's Ubuntu
10.04 LTS:
Linux t40 2.6.32-40-generic #87-Ubuntu SMP Mon Mar 5 20:26:31 UTC 2012
i686 GNU/Linux
I hope this will help you to find the problem and hopefully fix it.
Important thing is that this issue doesn't concern GNU Prolog 1.4.0
which compiles fine and works great.
Finally, I would like to express my appreciation for your work on The
GNU Prolog. It's a great project that helps to learn "programmer en
logique" and thus it's one of the most valuable of all open source
projects. Really good job!
Yours sincerely,
Michał Kołodziejski
cd EnginePl; make config
make[1]: Wejście do katalogu
`/home/kouodziey/bin/gprolog/gprolog-1.4.1/src/EnginePl'
gcc -march=pentiumpro -m32 -fno-strict-aliasing -O3 -fomit-frame-pointer -o
pl_config pl_config.c
./pl_config
-------------------------------
--- GNU PROLOG INSTALLATION ---
-------------------------------
GNU Prolog version: 1.4.1 (Jul 27 2012)
Operating system : linux-gnu
Processor : i686
Size of a WAM word: 32 bits
C compiler : gcc
C flags : -O3 -fomit-frame-pointer
C flags machine : -march=pentiumpro -m32 -fno-strict-aliasing
Assembler : as
Assembler flags : --32
Loader flags :
Loader libraries : -lm
Use line editor : Yes
Use piped consult : Yes
Use sockets : Yes
Use FD solver : Yes
Use fast call : Yes
Use machine regs. : Yes
Used register(s) : ebx (TR)
------------------------------
(cd ../TopComp; make gplc)
make[2]: Wejście do katalogu
`/home/kouodziey/bin/gprolog/gprolog-1.4.1/src/TopComp'
gcc -march=pentiumpro -m32 -fno-strict-aliasing -O3 -fomit-frame-pointer -o
gplc top_comp.c -lm
make[2]: Opuszczenie katalogu
`/home/kouodziey/bin/gprolog/gprolog-1.4.1/src/TopComp'
make[1]: Opuszczenie katalogu
`/home/kouodziey/bin/gprolog/gprolog-1.4.1/src/EnginePl'
. ./SETVARS;for i in EnginePl TopComp Wam2Ma Ma2Asm Linedit BipsPl Pl2Wam Fd2C
EngineFD BipsFD;do (cd $i; make) || exit 1; done;\
(cd TopComp; make top-level) || exit 1;\
(cd Pl2Wam; make stage2)
make[1]: Wejście do katalogu
`/home/kouodziey/bin/gprolog/gprolog-1.4.1/src/EnginePl'
gcc -march=pentiumpro -m32 -fno-strict-aliasing -O3 -fomit-frame-pointer -o
cpp_headers cpp_headers.c
gplc -c -C '-O3 -fomit-frame-pointer' machine.c
gplc -c -C '-O3 -fomit-frame-pointer' machine1.c
gplc -c -C '-O3 -fomit-frame-pointer' stacks_sigsegv.c
stacks_sigsegv.c:409: error: duplicate ‘static’
stacks_sigsegv.c:410: warning: ‘struct sigcontext’ declared inside parameter
list
stacks_sigsegv.c:410: warning: its scope is only this definition or
declaration, which is probably not what you want
stacks_sigsegv.c:410: error: parameter 2 (‘scp’) has incomplete type
compilation failed
make[1]: *** [stacks_sigsegv.o] Błąd 1
make[1]: Opuszczenie katalogu
`/home/kouodziey/bin/gprolog/gprolog-1.4.1/src/EnginePl'
make: *** [all] Błąd 1
checking for gcc... gcc
checking whether the C compiler works... yes
checking for C compiler default output file name... a.out
checking for suffix of executables...
checking whether we are cross compiling... no
checking for suffix of object files... o
checking whether we are using the GNU C compiler... yes
checking whether gcc accepts -g... yes
checking for gcc option to accept ISO C89... none needed
checking build system type... i686-pc-linux-gnu
checking host system type... i686-pc-linux-gnu
checking for as... as
checking for ranlib... ranlib
checking for windres... no
checking for ar... ar
checking for strip... strip
checking whether make sets $(MAKE)... yes
checking for a BSD-compatible install... /usr/bin/install -c
checking whether ln -s works... yes
checking for inline... inline
checking how to run the C preprocessor... gcc -E
checking for grep that handles long lines and -e... /bin/grep
checking for egrep... /bin/grep -E
checking for ANSI C header files... yes
checking for sys/types.h... yes
checking for sys/stat.h... yes
checking for stdlib.h... yes
checking for string.h... yes
checking for memory.h... yes
checking for strings.h... yes
checking for inttypes.h... yes
checking for stdint.h... yes
checking for unistd.h... yes
checking size of long... 4
checking size of void*... 4
checking sys/ioctl_compat.h usability... no
checking sys/ioctl_compat.h presence... no
checking for sys/ioctl_compat.h... no
checking termios.h usability... yes
checking termios.h presence... yes
checking for termios.h... yes
checking malloc.h usability... yes
checking malloc.h presence... yes
checking for malloc.h... yes
checking for stdlib.h... (cached) yes
checking for unistd.h... (cached) yes
checking for sys/param.h... yes
checking for getpagesize... yes
checking for working mmap... yes
checking for getpagesize... (cached) yes
checking for mprotect... yes
checking for sigaction... yes
checking for mallopt... yes
checking for fgetc... yes
checking for atanh... yes
checking for acosh... yes
checking for asinh... yes
checking for socklen_t... yes
checking if struct sigcontext needs asm/sigcontext.h... no
checking for sigsetjmp... yes
checking for a working sigaction... no
checking constructors execution order... last to first
checking for socket... yes
checking for gethostbyname... yes
DIRECTORIES
--> Installation: /usr/local/gprolog-1.4.1
--> Link to binaries: /usr/local/bin
--> Documentation: /usr/local/gprolog-1.4.1/doc
--> HTML documentation: /usr/local/gprolog-1.4.1/doc/html_node
--> Examples: /usr/local/gprolog-1.4.1/examples
configure: creating ./config.status
config.status: creating Makefile
config.status: creating TopComp/Makefile
config.status: creating Pl2Wam/Makefile
config.status: creating Wam2Ma/Makefile
config.status: creating Ma2Asm/Makefile
config.status: creating Fd2C/Makefile
config.status: creating Linedit/Makefile
config.status: creating W32GUICons/Makefile
config.status: creating EnginePl/Makefile
config.status: creating BipsPl/Makefile
config.status: creating EngineFD/Makefile
config.status: creating BipsFD/Makefile
config.status: creating Ma2Asm/FromC/Makefile
config.status: creating Win32/Makefile
config.status: creating Win32/gp-setup.iss
config.status: creating EnginePl/gp_config.h
config.status: EnginePl/gp_config.h is unchanged
_______________________________________________
Bug-prolog mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/bug-prolog
