Re: (no subject)

Daniel Diaz <[email protected]>
Newsgroups gmane.comp.gnu.prolog.bugs
Message-ID <[email protected]>
Hi Claude,

You should try a more recent version, for instance get the last stable 
version from

ftp://ftp.inria.fr/INRIA/Projects/contraintes/gprolog/gprolog-1.2.16.tar.gz

If you want to continue with your version, it seems you have a 
BipsPl/foreign.wam file with a bad modification time.

Use:

touch /usr/users/clambora/Documents/gprolog-1.2.16/src/BipsPl/foreign.wam

and then redo a make.

This should work.

Good luck



Claude Lamboray wrote:
> Hello,
> 
> I have some problems during the installation of gprolog. 
> Here are my system description and the output of the configuration 
> and make phases. Could you help me, or explain me the reason 
> of the problem, so that I can try to solve it ?
> 
> Thank you in advance,
> Regards,
> 
> Claude Lamboray
> 
> 
> 
> 
> -------------------------------------------------------------------------------------------
> ix86 / GNU/Linux (Suse 8.0)
> gprolog 1.2.16
> 
> ------------------------------------------------------------------------------------------------
> 
> ./configure --with-install-dir=/usr/users/clambora/Documents/gprolog-1.2.1/ 
> 
> ----------------------------------------------------------------------------------------------------
> 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/users/clambora/Documents/gprolog-1.2.1/
> --> Link to binaries:   /usr/local/bin
> --> Documentation:      /usr/users/clambora/Documents/gprolog-1.2.1//doc
> --> HTML documentation: /usr/users/clambora/Documents/gprolog-1.2.1//doc/Html
> --> Examples:           /usr/users/clambora/Documents/gprolog-1.2.1/
> 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
> --------------------------------------------------------------------------
> 
> make
> 
> --------------------------------------------------------------------------
> (cd EnginePl; make config)
> make[1]: Entering directory 
> `/usr/users/clambora/Documents/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. : Yes
> Used register(s)  : ebx ebp
> 
>         ------------------------------
> 
> (cd ../TopComp; make gplc)
> make[2]: Entering directory 
> `/usr/users/clambora/Documents/gprolog-1.2.16/src/TopComp'
> gcc -O3  -o gplc top_comp.c -lm
> make[2]: Leaving directory 
> `/usr/users/clambora/Documents/gprolog-1.2.16/src/TopComp'
> make[1]: Leaving directory 
> `/usr/users/clambora/Documents/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/users/clambora/Documents/gprolog-1.2.16/src/TopComp'
> gcc -O3  -o hexgplc hexfilter.c
> make[1]: Leaving directory 
> `/usr/users/clambora/Documents/gprolog-1.2.16/src/TopComp'
> make[1]: Entering directory 
> `/usr/users/clambora/Documents/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/users/clambora/Documents/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/users/clambora/Documents/gprolog-1.2.16/src/EnginePl'
> make[1]: Entering directory 
> `/usr/users/clambora/Documents/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/users/clambora/Documents/gprolog-1.2.16/src/Wam2Ma'
> make[1]: Entering directory 
> `/usr/users/clambora/Documents/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/users/clambora/Documents/gprolog-1.2.16/src/Ma2Asm'
> make[1]: Entering directory 
> `/usr/users/clambora/Documents/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/users/clambora/Documents/gprolog-1.2.16/src/Linedit'
> make[1]: Entering directory 
> `/usr/users/clambora/Documents/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 -W  --no-redef-error foreign.pl
> error trying to execute pl2wam: No such file or directory
> compilation failed
> make[1]: *** [foreign.wam] Error 1
> make[1]: Leaving directory 
> `/usr/users/clambora/Documents/gprolog-1.2.16/src/BipsPl'
> make: *** [all] Error 1
> ----------------------------------------------------------------------------------------------
> 
> 
> 
> _______________________________________________
> 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.
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.