Re: Problems building GNU Prolog 1.2.19 on Debian GNU/Linux 3.1 (r1)

[Roberto Bagnara]

Geoff Alexander wrote:
> GProlog 1.2.19 doesn't compile with gcc 4.x.x.  The work around is to 
> use gcc 3.x.x.

Lindsey Spratt wrote:
> As discussed earlier on this list, gprolog does not build under gcc 4.


Dear Geoff and Lindsey,

you are right: I knew and I forgot.  Sorry about that.

However, even with GCC 3.3.5 things do not work: the
details are below the signature.
Any idea what can the problem be?
All the best,

   Roberto

--
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:address@hidden

$ gcc -v
Reading specs from /usr/lib/gcc-lib/alpha-linux/3.3.5/specs
Configured with: ../src/configure -v 
--enable-languages=c,c++,java,f77,pascal,objc,ada,treelang --prefix=/usr 
--mandir=/usr/share/man --infodir=/usr/share/info 
--with-gxx-include-dir=/usr/include/c++/3.3 --enable-shared 
--enable-__cxa_atexit --with-system-zlib --enable-nls 
--without-included-gettext --enable-clocale=gnu --enable-debug 
--enable-java-gc=boehm --enable-java-awt=xlib --enable-objc-gc alpha-linux
Thread model: posix
gcc version 3.3.5 (Debian 1:3.3.5-13)
$ make
(cd EnginePl; make config)
make[1]: Entering directory `/usr/local/distrib/gprolog-1.2.19/src/EnginePl'
gcc -O3 -fomit-frame-pointer  -o pl_config pl_config.c
./pl_config

        -------------------------------
        --- GNU PROLOG INSTALLATION ---
        -------------------------------

GNU Prolog version: 1.2.19 (Jun 13 2005)
Operating system  : linux-gnu
Processor         : alphaev67
Size of a word    : 64 bits
C compiler        : gcc
C flags           : -O3 -fomit-frame-pointer
C flags machine   :
Loader flags      :
Loader libraries  : -lm
Use line editor   : Yes
Use piped consult : Yes
Use sockets       : Yes
Use FD solver     : Yes
Use machine regs. : Yes
Used register(s)  : $9 $10 $11 $12 $13 $14

        ------------------------------

(cd ../TopComp; make gplc)
make[2]: Entering directory `/usr/local/distrib/gprolog-1.2.19/src/TopComp'
gcc -O3 -fomit-frame-pointer -o gplc top_comp.c -lm
make[2]: Leaving directory `/usr/local/distrib/gprolog-1.2.19/src/TopComp'
make[1]: Leaving directory `/usr/local/distrib/gprolog-1.2.19/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/distrib/gprolog-1.2.19/src/TopComp'
gcc -O3 -fomit-frame-pointer -o hexgplc hexfilter.c
make[1]: Leaving directory `/usr/local/distrib/gprolog-1.2.19/src/TopComp'
make[1]: Entering directory `/usr/local/distrib/gprolog-1.2.19/src/EnginePl'
gcc -O3 -fomit-frame-pointer  -o cpp_headers cpp_headers.c
D=`(cd ..;for i in *;do test -d $i && X="$X 
/usr/local/distrib/gprolog-1.2.19/src/$i";done;echo $X)`; ./cpp_headers headers.h gprolog.h 
$D
gplc -c -C '-O3 -fomit-frame-pointer' obj_begin.c
gplc -c -C '-O3 -fomit-frame-pointer' obj_end.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' mem_alloc.c
gplc -c -C '-O3 -fomit-frame-pointer' misc.c
gplc -c -C '-O3 -fomit-frame-pointer' hash.c
gplc -c -C '-O3 -fomit-frame-pointer' obj_chain.c
gplc -c -C '-O3 -fomit-frame-pointer' engine.c
engine.c: In function `Call_Prolog':
engine.c:318: warning: use of cast expressions as lvalues is deprecated
engine.c:331: warning: use of cast expressions as lvalues is deprecated
engine.c: In function `Call_Prolog_Next_Sol':
engine.c:351: warning: use of cast expressions as lvalues is deprecated
engine.c:359: warning: use of cast expressions as lvalues is deprecated
engine.c: In function `Keep_Rest_For_Prolog':
engine.c:380: warning: use of cast expressions as lvalues is deprecated
engine.c:386: warning: use of cast expressions as lvalues is deprecated
gplc -c engine1.c
gplc -c -C '-O3 -fomit-frame-pointer' wam_inst.c
wam_inst.c: In function `Allocate':
wam_inst.c:911: warning: use of cast expressions as lvalues is deprecated
wam_inst.c:913: warning: use of cast expressions as lvalues is deprecated
wam_inst.c: In function `Create_Choice_Point':
wam_inst.c:1277: warning: use of cast expressions as lvalues is deprecated
wam_inst.c:1277: warning: use of cast expressions as lvalues is deprecated
wam_inst.c:1277: warning: use of cast expressions as lvalues is deprecated
wam_inst.c:1277: warning: use of cast expressions as lvalues is deprecated
wam_inst.c:1277: warning: use of cast expressions as lvalues is deprecated
wam_inst.c:1277: warning: use of cast expressions as lvalues is deprecated
wam_inst.c:1277: warning: use of cast expressions as lvalues is deprecated
wam_inst.c: In function `Create_Choice_Point1':
wam_inst.c:1289: warning: use of cast expressions as lvalues is deprecated
wam_inst.c:1289: warning: use of cast expressions as lvalues is deprecated
wam_inst.c:1289: warning: use of cast expressions as lvalues is deprecated
wam_inst.c:1289: warning: use of cast expressions as lvalues is deprecated
wam_inst.c:1289: warning: use of cast expressions as lvalues is deprecated
wam_inst.c:1289: warning: use of cast expressions as lvalues is deprecated
wam_inst.c:1289: warning: use of cast expressions as lvalues is deprecated
wam_inst.c: In function `Create_Choice_Point2':
wam_inst.c:1300: warning: use of cast expressions as lvalues is deprecated
wam_inst.c:1300: warning: use of cast expressions as lvalues is deprecated
wam_inst.c:1300: warning: use of cast expressions as lvalues is deprecated
wam_inst.c:1300: warning: use of cast expressions as lvalues is deprecated
wam_inst.c:1300: warning: use of cast expressions as lvalues is deprecated
wam_inst.c:1300: warning: use of cast expressions as lvalues is deprecated
wam_inst.c:1300: warning: use of cast expressions as lvalues is deprecated
wam_inst.c: In function `Create_Choice_Point3':
wam_inst.c:1312: warning: use of cast expressions as lvalues is deprecated
wam_inst.c:1312: warning: use of cast expressions as lvalues is deprecated
wam_inst.c:1312: warning: use of cast expressions as lvalues is deprecated
wam_inst.c:1312: warning: use of cast expressions as lvalues is deprecated
wam_inst.c:1312: warning: use of cast expressions as lvalues is deprecated
wam_inst.c:1312: warning: use of cast expressions as lvalues is deprecated
wam_inst.c:1312: warning: use of cast expressions as lvalues is deprecated
wam_inst.c: In function `Create_Choice_Point4':
wam_inst.c:1325: warning: use of cast expressions as lvalues is deprecated
wam_inst.c:1325: warning: use of cast expressions as lvalues is deprecated
wam_inst.c:1325: warning: use of cast expressions as lvalues is deprecated
wam_inst.c:1325: warning: use of cast expressions as lvalues is deprecated
wam_inst.c:1325: warning: use of cast expressions as lvalues is deprecated
wam_inst.c:1325: warning: use of cast expressions as lvalues is deprecated
wam_inst.c:1325: warning: use of cast expressions as lvalues is deprecated
wam_inst.c: In function `Update_Choice_Point':
wam_inst.c:1346: warning: use of cast expressions as lvalues is deprecated
wam_inst.c: In function `Update_Choice_Point1':
wam_inst.c:1358: warning: use of cast expressions as lvalues is deprecated
wam_inst.c: In function `Update_Choice_Point2':
wam_inst.c:1369: warning: use of cast expressions as lvalues is deprecated
wam_inst.c: In function `Update_Choice_Point3':
wam_inst.c:1381: warning: use of cast expressions as lvalues is deprecated
wam_inst.c: In function `Update_Choice_Point4':
wam_inst.c:1394: warning: use of cast expressions as lvalues is deprecated
gplc -c -C '-O3 -fomit-frame-pointer' atom.c
gplc -c -C '-O3 -fomit-frame-pointer' pred.c
gplc -c -C '-O3 -fomit-frame-pointer' oper.c
gplc -c -C '-O3 -fomit-frame-pointer' if_no_fd.c
gplc -c -C '-O3 -fomit-frame-pointer' 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/distrib/gprolog-1.2.19/src/EnginePl'
make[1]: Entering directory `/usr/local/distrib/gprolog-1.2.19/src/Wam2Ma'
gcc -O3 -fomit-frame-pointer -c wam2ma.c
gcc -O3 -fomit-frame-pointer -c wam_parser.c
gcc -O3 -fomit-frame-pointer -o wam2ma wam2ma.o wam_parser.o
make[1]: Leaving directory `/usr/local/distrib/gprolog-1.2.19/src/Wam2Ma'
make[1]: Entering directory `/usr/local/distrib/gprolog-1.2.19/src/Ma2Asm'
gcc -O3 -fomit-frame-pointer -c ma2asm.c
gcc -O3 -fomit-frame-pointer -c ma_parser.c
gcc -O3 -fomit-frame-pointer -c ma2asm_inst.c
gcc -O3 -fomit-frame-pointer -o ma2asm ma2asm.o ma2asm_inst.o ma_parser.o
ma2asm.o(.text+0x16c): In function `main':
: undefined reference to `Asm_Start'
ma2asm.o(.text+0x170): In function `main':
: undefined reference to `Asm_Start'
ma2asm.o(.text+0x1d8): In function `main':
: undefined reference to `Data_Start'
ma2asm.o(.text+0x1e0): In function `main':
: undefined reference to `Data_Start'
ma2asm.o(.text+0x204): In function `main':
: undefined reference to `Data_Stop'
ma2asm.o(.text+0x208): In function `main':
: undefined reference to `Data_Stop'
ma2asm.o(.text+0x214): In function `main':
: undefined reference to `Asm_Stop'
ma2asm.o(.text+0x218): In function `main':
: undefined reference to `Asm_Stop'
ma2asm.o(.text+0x250): In function `main':
: undefined reference to `Dico_Long_Start'
ma2asm.o(.text+0x254): In function `main':
: undefined reference to `Dico_Long_Start'
ma2asm.o(.text+0x27c): In function `main':
: undefined reference to `Dico_Long'
ma2asm.o(.text+0x280): In function `main':
: undefined reference to `Dico_Long'
ma2asm.o(.text+0x298): In function `main':
: undefined reference to `Dico_Long_Stop'
ma2asm.o(.text+0x29c): In function `main':
: undefined reference to `Dico_Long_Stop'
ma2asm.o(.text+0x2ac): In function `main':
: undefined reference to `Dico_String'
ma2asm.o(.text+0x2b4): In function `main':
: undefined reference to `Dico_String_Start'
ma2asm.o(.text+0x2b8): In function `main':
: undefined reference to `Dico_String_Start'
ma2asm.o(.text+0x300): In function `main':
: undefined reference to `Dico_String_Stop'
ma2asm.o(.text+0x304): In function `main':
: undefined reference to `Dico_String_Stop'
ma2asm.o(.text+0x3c4): In function `Call_C':
: undefined reference to `Call_C_Start'
ma2asm.o(.text+0x3d4): In function `Call_C':
: undefined reference to `Call_C_Start'
ma2asm.o(.text+0x3ec): In function `Call_C':
: undefined reference to `call_c_reverse_args'
ma2asm.o(.text+0x458): In function `Call_C':
: undefined reference to `Call_C_Arg_Int'
ma2asm.o(.text+0x468): In function `Call_C':
: undefined reference to `Call_C_Arg_Int'
ma2asm.o(.text+0x4d4): In function `Call_C':
: undefined reference to `Call_C_Stop'
ma2asm.o(.text+0x4e0): In function `Call_C':
: undefined reference to `Call_C_Stop'
ma2asm.o(.text+0x514): In function `Call_C':
: undefined reference to `comment_prefix'
ma2asm.o(.text+0x538): In function `Call_C':
: undefined reference to `comment_prefix'
ma2asm.o(.text+0x564): In function `Call_C':
: undefined reference to `Call_C_Invoke'
ma2asm.o(.text+0x56c): In function `Call_C':
: undefined reference to `Call_C_Invoke'
ma2asm.o(.text+0x580): In function `Call_C':
: undefined reference to `Call_C_Arg_Double'
ma2asm.o(.text+0x590): In function `Call_C':
: undefined reference to `Call_C_Arg_Double'
ma2asm.o(.text+0x5b8): In function `Call_C':
: undefined reference to `Call_C_Arg_Mem_L'
ma2asm.o(.text+0x5bc): In function `Call_C':
: undefined reference to `Call_C_Arg_Mem_L'
ma2asm.o(.text+0x5d0): In function `Call_C':
: undefined reference to `Call_C_Arg_Reg_X'
ma2asm.o(.text+0x5e4): In function `Call_C':
: undefined reference to `Call_C_Arg_Reg_X'
ma2asm.o(.text+0x5f8): In function `Call_C':
: undefined reference to `Call_C_Arg_Reg_Y'
ma2asm.o(.text+0x60c): In function `Call_C':
: undefined reference to `Call_C_Arg_Reg_Y'
ma2asm.o(.text+0x620): In function `Call_C':
: undefined reference to `Call_C_Arg_Foreign_L'
ma2asm.o(.text+0x634): In function `Call_C':
: undefined reference to `Call_C_Arg_Foreign_L'
ma2asm.o(.text+0x648): In function `Call_C':
: undefined reference to `Call_C_Arg_Foreign_D'
ma2asm.o(.text+0x65c): In function `Call_C':
: undefined reference to `Call_C_Arg_Foreign_D'
ma2asm.o(.text+0x688): In function `Call_C':
: undefined reference to `Call_C_Arg_String'
ma2asm.o(.text+0x690): In function `Call_C':
: undefined reference to `Call_C_Arg_String'
ma2asm.o(.text+0x6b4): In function `Init_Inline_Data':
: undefined reference to `inline_asm_data'
ma2asm.o(.text+0x738): In function `Find_Inline_Data':
: undefined reference to `inline_asm_data'
ma2asm.o(.text+0x7f4): In function `Emit_Inline_Data':
: undefined reference to `local_symb_prefix'
ma2asm.o(.text+0x988): In function `Switch_Rec':
: undefined reference to `Jump_If_Greater'
ma2asm.o(.text+0x98c): In function `Switch_Rec':
: undefined reference to `Jump_If_Greater'
ma2asm.o(.text+0x9ac): In function `Switch_Rec':
: undefined reference to `Label'
ma2asm.o(.text+0x9b0): In function `Switch_Rec':
: undefined reference to `Label'
ma2asm.o(.text+0xa04): In function `Switch_Rec':
: undefined reference to `Pl_Fail'
ma2asm.o(.text+0xa08): In function `Switch_Rec':
: undefined reference to `Pl_Fail'
ma2asm.o(.text+0xa8c): In function `Switch_Equal':
: undefined reference to `Cmp_Ret_And_Int'
ma2asm.o(.text+0xaa0): In function `Switch_Equal':
: undefined reference to `Cmp_Ret_And_Int'
ma2asm.o(.text+0xab0): In function `Switch_Equal':
: undefined reference to `Jump_If_Equal'
ma2asm.o(.text+0xab4): In function `Switch_Equal':
: undefined reference to `Jump_If_Equal'
ma_parser.o(.text+0x224): In function `Parser':
: undefined reference to `Label'
ma_parser.o(.text+0x22c): In function `Parser':
: undefined reference to `Label'
ma_parser.o(.text+0x280): In function `Parser':
: undefined reference to `Code_Start'
ma_parser.o(.text+0x28c): In function `Parser':
: undefined reference to `Code_Start'
ma_parser.o(.text+0x2b4): In function `Parser':
: undefined reference to `Pl_Jump'
ma_parser.o(.text+0x2bc): In function `Parser':
: undefined reference to `Pl_Jump'
ma_parser.o(.text+0x2cc): In function `Parser':
: undefined reference to `Prep_CP'
ma_parser.o(.text+0x2d0): In function `Parser':
: undefined reference to `Prep_CP'
ma_parser.o(.text+0x2e0): In function `Parser':
: undefined reference to `Here_CP'
ma_parser.o(.text+0x2e4): In function `Parser':
: undefined reference to `Here_CP'
ma_parser.o(.text+0x300): In function `Parser':
: undefined reference to `Pl_Call'
ma_parser.o(.text+0x308): In function `Parser':
: undefined reference to `Pl_Call'
ma_parser.o(.text+0x318): In function `Parser':
: undefined reference to `Pl_Fail'
ma_parser.o(.text+0x31c): In function `Parser':
: undefined reference to `Pl_Fail'
ma_parser.o(.text+0x32c): In function `Parser':
: undefined reference to `Pl_Ret'
ma_parser.o(.text+0x330): In function `Parser':
: undefined reference to `Pl_Ret'
ma_parser.o(.text+0x34c): In function `Parser':
: undefined reference to `Jump'
ma_parser.o(.text+0x354): In function `Parser':
: undefined reference to `Jump'
ma_parser.o(.text+0x380): In function `Parser':
: undefined reference to `Move_From_Reg_X'
ma_parser.o(.text+0x384): In function `Parser':
: undefined reference to `Move_From_Reg_X'
ma_parser.o(.text+0x3b4): In function `Parser':
: undefined reference to `Move_To_Reg_X'
ma_parser.o(.text+0x3b8): In function `Parser':
: undefined reference to `Move_To_Reg_X'
ma_parser.o(.text+0x3cc): In function `Parser':
: undefined reference to `Move_To_Reg_Y'
ma_parser.o(.text+0x3d0): In function `Parser':
: undefined reference to `Move_To_Reg_Y'
ma_parser.o(.text+0x3e4): In function `Parser':
: undefined reference to `Move_From_Reg_Y'
ma_parser.o(.text+0x3e8): In function `Parser':
: undefined reference to `Move_From_Reg_Y'
ma_parser.o(.text+0x428): In function `Parser':
: undefined reference to `Jump_Ret'
ma_parser.o(.text+0x42c): In function `Parser':
: undefined reference to `Jump_Ret'
ma_parser.o(.text+0x43c): In function `Parser':
: undefined reference to `Fail_Ret'
ma_parser.o(.text+0x440): In function `Parser':
: undefined reference to `Fail_Ret'
ma_parser.o(.text+0x488): In function `Parser':
: undefined reference to `Move_Ret_To_Mem_L'
ma_parser.o(.text+0x490): In function `Parser':
: undefined reference to `Move_Ret_To_Mem_L'
ma_parser.o(.text+0x4c0): In function `Parser':
: undefined reference to `Move_Ret_To_Reg_X'
ma_parser.o(.text+0x4c8): In function `Parser':
: undefined reference to `Move_Ret_To_Reg_X'
ma_parser.o(.text+0x4dc): In function `Parser':
: undefined reference to `Move_Ret_To_Reg_Y'
ma_parser.o(.text+0x4e4): In function `Parser':
: undefined reference to `Move_Ret_To_Reg_Y'
ma_parser.o(.text+0x4f8): In function `Parser':
: undefined reference to `Move_Ret_To_Foreign_L'
ma_parser.o(.text+0x500): In function `Parser':
: undefined reference to `Move_Ret_To_Foreign_L'
ma_parser.o(.text+0x514): In function `Parser':
: undefined reference to `Move_Ret_To_Foreign_D'
ma_parser.o(.text+0x51c): In function `Parser':
: undefined reference to `Move_Ret_To_Foreign_D'
ma_parser.o(.text+0x57c): In function `Parser':
: undefined reference to `Code_Start'
ma_parser.o(.text+0x588): In function `Parser':
: undefined reference to `Code_Start'
ma_parser.o(.text+0x5bc): In function `Parser':
: undefined reference to `C_Ret'
ma_parser.o(.text+0x5c0): In function `Parser':
: undefined reference to `C_Ret'
ma_parser.o(.text+0xedc): In function `Scanner':
: undefined reference to `comment_prefix'
ma_parser.o(.text+0x1224): In function `Scanner':
: undefined reference to `Reload_E_In_Register'
ma_parser.o(.text+0x1228): In function `Scanner':
: undefined reference to `Reload_E_In_Register'
ma_parser.o(.text+0x1328): In function `Scanner':
: undefined reference to `strings_need_null'
collect2: ld returned 1 exit status
make[1]: *** [ma2asm] Error 1
make[1]: Leaving directory `/usr/local/distrib/gprolog-1.2.19/src/Ma2Asm'
make: *** [all] Error 1
$