Valerio Senni wrote:
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
I strongly recommend you upgrade to SICStus 3.12.8 (you seem to be using 3.11.2).