Re: can't compile gprolog-1.2.16 with --disable-regs

Hi,

This has nothing to do with the --disable-regs parameter.
It seems a certain source version of 1.2.16 misses a file 
src/BipsPl/pred.wam. Normally the last .tar.gz on ftp.inria.fr is OK. 
Can you retry it ?


Erick Alphonse wrote:
> Hello,
> 
> I use a i686 under Mandrake-Linux 8.2.
> I can't compile gprolog-1.2.16 with ./configure --disable-regs;make. The 
> trace follows.
> 
> [root@localhost src]# ./configure --disable-regs
> checking for gcc... gcc
> checking for C compiler default output... a.out
> checking whether the C compiler works... yes
> checking whether we are cross compiling... no
> checking for executable suffix...
> checking for object suffix... o
> checking whether we are using the GNU C compiler... yes
> checking whether gcc accepts -g... yes
> checking for ranlib... ranlib
> checking whether make sets ${MAKE}... yes
> checking for a BSD compatible install... /usr/bin/install -c
> checking whether ln -s works... yes
> checking build system type... i686-pc-linux-gnu
> checking host system type... i686-pc-linux-gnu
> checking how to run the C preprocessor... gcc -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 for long... yes
> checking size of long... 4
> checking for sys/ioctl_compat.h... no
> checking for termios.h... yes
> checking for malloc.h... yes
> checking for stdlib.h... (cached) yes
> checking for unistd.h... (cached) yes
> checking for getpagesize... yes
> checking for working mmap... yes
> checking for mallopt... yes
> checking for fgetc... yes
> checking for gcc option to accept ANSI C... none needed
> checking for inline... inline
> use ebp and move -fomit-frame-pointer to CFLAGS_MACHINE
> checking for socket... yes
> checking for gethostbyname... yes
> DIRECTORIES
> --> Installation:       /usr/local/gprolog-1.2.16
> --> Link to binaries:   /usr/local/bin
> --> Documentation:      /usr/local/gprolog-1.2.16/doc
> --> HTML documentation: /usr/local/gprolog-1.2.16/doc/Html
> --> Examples:           /usr/local/gprolog-1.2.16
> 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 EnginePl/gp_config.h
> config.status: EnginePl/gp_config.h is unchanged
> [root@localhost src]# make
> (cd EnginePl; make config)
> make[1]: Entering directory `/usr/local/src/gprolog-1.2.16/src/EnginePl'
> gcc -O3   -o pl_config pl_config.c
> ./pl_config
> 
>         -------------------------------
>         --- GNU PROLOG INSTALLATION ---
>         -------------------------------
> 
> GNU Prolog version: 1.2.16 (Sep 19 2002)
> Operating system  : linux-gnu
> Processor         : i686
> Size of a word    : 32 bits
> C compiler        : gcc
> C flags           : -O3
> C flags machine   : -mcpu=pentiumpro -fomit-frame-pointer
> 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. : No
> 
>         ------------------------------
> 
> (cd ../TopComp; make gplc)
> make[2]: Entering directory `/usr/local/src/gprolog-1.2.16/src/TopComp'
> gcc -O3  -o gplc top_comp.c -lm
> make[2]: Leaving directory `/usr/local/src/gprolog-1.2.16/src/TopComp'
> make[1]: Leaving directory `/usr/local/src/gprolog-1.2.16/src/EnginePl'
> . ./SETVARS;for i in TopComp EnginePl Wam2Ma Ma2Asm Linedit BipsPl 
> Pl2Wam Fd2C EngineFD BipsFD;do (cd $i; make) || exit 1; done;\
> (cd TopComp; make gprolog)
> make[1]: Entering directory `/usr/local/src/gprolog-1.2.16/src/TopComp'
> gcc -O3  -o hexgplc hexfilter.c
> make[1]: Leaving directory `/usr/local/src/gprolog-1.2.16/src/TopComp'
> make[1]: Entering directory `/usr/local/src/gprolog-1.2.16/src/EnginePl'
> gcc -O3   -o cpp_headers cpp_headers.c
> D=`(cd ..;for i in *;do test -d $i && X="$X 
> /usr/local/src/gprolog-1.2.16/src/$i";done;echo $X)`; ./cpp_headers 
> headers.h gprolog.h $D
> gplc -c -C '-O3 ' obj_begin.c
> gplc -c -C '-O3 ' obj_end.c
> gplc -c -C '-O3 ' machine.c
> gplc -c -C '-O3 ' machine1.c
> gplc -c -C '-O3 ' mem_alloc.c
> gplc -c -C '-O3 ' misc.c
> gplc -c -C '-O3 ' hash.c
> gplc -c -C '-O3 ' obj_chain.c
> gplc -c -C '-O3 ' engine.c
> gplc -c engine1.c
> gplc -c -C '-O3 ' wam_inst.c
> gplc -c -C '-O3 ' atom.c
> gplc -c -C '-O3 ' pred.c
> gplc -c -C '-O3 ' oper.c
> gplc -c -C '-O3 ' if_no_fd.c
> gplc -c -C '-O3 ' main.c
> rm -f libengine_pl.a
> ar rc  libengine_pl.a machine.o machine1.o mem_alloc.o misc.o hash.o 
> obj_chain.o engine.o engine1.o wam_inst.o atom.o pred.o oper.o 
> if_no_fd.o main.o
> ranlib libengine_pl.a
> make[1]: Leaving directory `/usr/local/src/gprolog-1.2.16/src/EnginePl'
> make[1]: Entering directory `/usr/local/src/gprolog-1.2.16/src/Wam2Ma'
> gcc -O3  -c wam2ma.c
> gcc -O3  -c wam_parser.c
> gcc -O3  -o wam2ma wam2ma.o wam_parser.o
> make[1]: Leaving directory `/usr/local/src/gprolog-1.2.16/src/Wam2Ma'
> make[1]: Entering directory `/usr/local/src/gprolog-1.2.16/src/Ma2Asm'
> gcc -O3  -c ma2asm.c
> gcc -O3  -c ma_parser.c
> gcc -O3  -c ma2asm_inst.c
> gcc -O3  -o ma2asm ma2asm.o ma2asm_inst.o ma_parser.o
> make[1]: Leaving directory `/usr/local/src/gprolog-1.2.16/src/Ma2Asm'
> make[1]: Entering directory `/usr/local/src/gprolog-1.2.16/src/Linedit'
> gcc -c -mcpu=pentiumpro -fomit-frame-pointer -O3  linedit.c
> gcc -c -mcpu=pentiumpro -fomit-frame-pointer -O3  terminal.c
> gcc -c -mcpu=pentiumpro -fomit-frame-pointer -O3  ctrl_c.c
> rm -f liblinedit.a
> ar rc  liblinedit.a linedit.o terminal.o ctrl_c.o
> ranlib liblinedit.a
> make[1]: Leaving directory `/usr/local/src/gprolog-1.2.16/src/Linedit'
> make[1]: Entering directory `/usr/local/src/gprolog-1.2.16/src/BipsPl'
> gplc -c -C '-O3  -funsigned-char' error_supp.c
> gplc -c -C '-O3  -funsigned-char' c_supp.c
> gplc -c -C '-O3  -funsigned-char' foreign_supp.c
> gplc -c -C '-O3  -funsigned-char' pred_supp.c
> gplc -c -C '-O3  -funsigned-char' term_supp.c
> gplc -c -C '-O3  -funsigned-char' stream_supp.c
> gplc -c -C '-O3  -funsigned-char' scan_supp.c
> gplc -c -C '-O3  -funsigned-char' parse_supp.c
> gplc -c -C '-O3  -funsigned-char' write_supp.c
> gplc -c -C '-O3  -funsigned-char' dynam_supp.c
> gplc -c -C '-O3  -funsigned-char' callinf_supp.c
> gplc -c -C '-O3  -funsigned-char' bc_supp.c
> gplc -c foreign.wam
> gplc -c pl_error.wam
> gplc -c utils.wam
> gplc -c unify.wam
> gplc -c assert.wam
> gplc -c -C '-O3  -funsigned-char' assert_c.c
> gplc -c read.wam
> gplc -c -C '-O3  -funsigned-char' read_c.c
> gplc -c write.wam
> gplc -c -C '-O3  -funsigned-char' write_c.c
> gplc -c print.wam
> gplc -c const_io.wam
> gplc -c -C '-O3  -funsigned-char' const_io_c.c
> gplc -c oper.wam
> gplc -c -C '-O3  -funsigned-char' oper_c.c
> gplc -W  --no-redef-error pred.pl
> error trying to execute pl2wam: No such file or directory
> compilation failed
> make[1]: *** [pred.wam] Error 1
> make[1]: Leaving directory `/usr/local/src/gprolog-1.2.16/src/BipsPl'
> make: *** [all] Error 1
> [root@localhost src]#
> 
> 
> 
> _______________________________________________
> Bug-prolog mailing list
> [email protected]
> http://mail.gnu.org/mailman/listinfo/bug-prolog
> 
> -- 
> Ce message a subi une analyse antivirus par MailScanner ; il est 
> vraisemblablement
> sans danger.
> 
> 
> 



--
Ce message a subi une analyse antivirus 
par MailScanner ; il est vraisemblablement
sans danger.