Compilation problem in gprolog-1.4.1
Michał Kołodziejski <[email protected]> Fri, 27 Jul 2012 20:49:11 +0200
| Newsgroups | gmane.comp.gnu.prolog.bugs |
|---|---|
| Message-ID | <CABwnWejVTHwB7oGOxDW9LEYKsY_Spfo625vG4KxZhBeK=SsXhg@mail.gmail.com> |
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 _______________________________________________ Bug-prolog mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-prolog
compilation_error.txt
(text/plain, 2.3 KB)
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
configure_output.txt
(text/plain, 3.2 KB)
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