-------- 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@disp.uniroma2.it> Reply-To: senni@disp.uniroma2.it To: Roberto Bagnara <bagnara@cs.unipr.it> References: <463F1316.8020507@disp.uniroma2.it> <463F32F8.8060000@cs.unipr.it> <463F3C60.208@disp.uniroma2.it> <4649920A.9060901@cs.unipr.it> <4649A6E5.5060806@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@cs.unipr.it