bug-prolog
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Cygwin make fails for 1.2.16


From: Gerald Shapiro
Subject: Cygwin make fails for 1.2.16
Date: Sat, 09 Nov 2002 19:54:07 -0500

First, two little things:

1) In EnginePl/machine.c there is a test for the symbol __CIGWIN__ . This should be __CYGWIN__ . I have made that change in my copy of gprolog-1.2.16

2) Also in EnginePl/machine.c, at the very end, there is a test for __CYGWIN__ , in order to leave multiple directory separator symbols. But Cygwin no longer uses //x to indicate drive x . The current Cygwin standard is /cygdrive/x .



Ok. My big problem is that when I try to build 1.2.16, make fails in BipsPl. Configure and prior steps in the make are fine, but in BipsPl, I see

gplc -W  --no-redef-error pred.pl
error trying to execute pl2wam: No such file or directory
compilation failed

(The full log from the BipsPl make is attached.)

I don't find pl2wam anywhere after the make ended.

Help!!!!!!!!

Gerald

****** Begin listing of make output ********

make[1]: Entering directory `/usr/local/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/gprolog-1.2.16/src/BipsPl'
make: *** [all] Error 1





reply via email to

[Prev in Thread] Current Thread [Next in Thread]