[PPL-devel] [Fwd: Re: Problema nella compilazione sotto mac os x 10.4.9]

[Roberto Bagnara]

-------- Original Message --------
Subject: Re: [PPL-devel] Problema nella compilazione sotto mac os x 10.4.9
Date: Fri, 18 May 2007 14:06:29 +0200
From: Valerio Senni <senni at disp.uniroma2.it>
Reply-To: senni at disp.uniroma2.it
To: Roberto Bagnara <bagnara at cs.unipr.it>
References: <463F1316.8020507 at disp.uniroma2.it> <463F32F8.8060000 at cs.unipr.it>	<463F3C60.208 at disp.uniroma2.it> <4649920A.9060901 at cs.unipr.it> <4649A6E5.5060806 at cs.unipr.it>


Thank you very much for the hint
It seems to have fixed a lage part of the "Undefined symbol" messages.

However it still remains one error message.
I attach the log of the "make" command.
(I double checked that the diffs are exatly as yours...)

Thanks
Valerio

% --------------------------------------------------

$ make
make  all-recursive
Making all in utils
make[2]: Nothing to be done for `all'.
Making all in src
make  all-am
make[3]: Nothing to be done for `all-am'.
Making all in Watchdog
make  all-recursive
Making all in utils
make[4]: Nothing to be done for `all'.
Making all in src
make  all-am
make[5]: Nothing to be done for `all-am'.
Making all in tests
Making all in .
make[3]: Nothing to be done for `all-am'.
Making all in BD_Shape
make[3]: Nothing to be done for `all'.
Making all in Polyhedron
make[3]: Nothing to be done for `all'.
Making all in Grid
make[3]: Nothing to be done for `all'.
Making all in interfaces
Making all in C
make[3]: Nothing to be done for `all'.
Making all in Prolog
Making all in Ciao
make[4]: Nothing to be done for `all'.
Making all in GNU
make[4]: Nothing to be done for `all'.
Making all in SICStus
/bin/sh ../../../libtool --mode=link --tag=CXX \
spld --config=myspconfig --main=prolog \
--cflag=`echo ' -W -Wall  -g -O2 -Wno-long-double' | tr " " ","` \
        --resources=ppl_sicstus.s.o -o ppl_sicstus \
        ../../../src/libppl.la \
        ../../../Watchdog/src/libpwl.la \
         -lm -L/usr/local/lib -lgmpxx -L/usr/local/lib -lgmp
-R/usr/local/lib -R/usr/local/lib
spld --config=myspconfig --main=prolog
--cflag=,-W,-Wall,,-g,-O2,-Wno-long-double --resources=ppl_sicstus.s.o
-o .libs/ppl_sicstus -Wl,-bind_at_load  ../../../src/.libs/libppl.dylib
../../../Watchdog/src/.libs/libpwl.dylib -lm -L/usr/local/lib
/usr/local/lib/libgmpxx.dylib /usr/local/lib/libgmp.dylib
SICStus 3.11.2 (powerpc-darwin-7.4.0): Wed Jun  2 11:48:07 CEST 2004
Licensed to uniroma2.it
/usr/bin/ld: Undefined symbols:
sp_main_SPENV_ppl_0x5Fsicstus(SP_MAINFUN_PARAMS_STRUCT*)
collect2: ld returned 1 exit status
! compiler command failed: 256 at /usr/local/bin/spld line 700, <CONF>
line 127.
make[4]: *** [ppl_sicstus] Error 1
make[3]: *** [all-recursive] Error 1
make[2]: *** [all-recursive] Error 1
make[1]: *** [all-recursive] Error 1
make: *** [all] Error 2


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