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

[Roberto Bagnara]

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).

-- 
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