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@
