Peter Schneider-Kamp wrote:
We are trying to use PPL for finite domain solving of non-linear constraints in our research project.
Unfortunately, on our computing server (4x Opteron 848) we cannot get PPL to install.
I have attached the output of "make install" to this mail. There seems to be a problem with linking to sicstus.
If you have any ideas how to resolve this issue we would be very glad. Also, if you just have some pointers where to look for the problem we also would greatly appreciate that information. We really need to get PPL working!
Dear Peter, we have succeeded in reproducing the problem you report. Can you please test the attached patch? Please let us know how it goes. All the best, Roberto P.S. Are you using the PPL for termination analysis? And how do you use it with non-linear constraints? Just curious... -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it Index: interfaces/Prolog/SICStus/Makefile.am =================================================================== RCS file: /cvs/ppl/ppl/interfaces/Prolog/SICStus/Makefile.am,v retrieving revision 1.63 diff -c -d -u -r1.63 Makefile.am cvs diff: conflicting specifications of output style --- interfaces/Prolog/SICStus/Makefile.am 13 Jan 2006 17:19:24 -0000 1.63 +++ interfaces/Prolog/SICStus/Makefile.am 25 Jan 2006 12:33:38 -0000 @@ -54,12 +54,12 @@ $(top_builddir)/Watchdog/src/libpwl.la \ @extra_libraries@ -ppl_sicstus.s.o: ppl_sicstus.pl ppl_sicstus_sd.o | ppl_sicstus_sd.la - splfr --static $(srcdir)/ppl_sicstus.pl ppl_sicstus_sd.o +ppl_sicstus.s.o: ppl_sicstus.pl .libs/ppl_sicstus_sd.o | ppl_sicstus_sd.la + splfr --static $(srcdir)/ppl_sicstus.pl .libs/ppl_sicstus_sd.o -ppl_sicstus.so: ppl_sicstus.pl ppl_sicstus_sd.o $(top_builddir)/src/libppl.la $(top_builddir)/Watchdog/src/libpwl.la | ppl_sicstus_sd.la +ppl_sicstus.so: ppl_sicstus.pl .libs/ppl_sicstus_sd.o $(top_builddir)/src/libppl.la $(top_builddir)/Watchdog/src/libpwl.la | ppl_sicstus_sd.la $(LIBTOOL) --mode=link --tag=CXX \ - splfr $(srcdir)/ppl_sicstus.pl ppl_sicstus_sd.o -o $@ \ + splfr $(srcdir)/ppl_sicstus.pl .libs/ppl_sicstus_sd.o -o $@ \ $(top_builddir)/src/libppl.la \ $(top_builddir)/Watchdog/src/libpwl.la \ @extra_libraries@