January 2006 - PPL-devel - BUGSENG Mailman

problems installing ppl-0.[78] with sicstus on amd64
by Peter Schneider-Kamp 26 Jan '06

26 Jan '06

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Hi! 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! Kind regards, Peter - -- Peter Schneider-Kamp mailto:psk@informatik.rwth-aachen.de LuFG Informatik II http://www-i2.informatik.rwth-aachen.de/~nowonder RWTH Aachen phone: ++49 241 80-21211 -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.2 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iD8DBQFD1kkS3VbrCXkKHhwRAmQpAJwPmnRwp8UEj8Pgo+IDwNna40ep+ACcCvJL aefKWkHYZc/PMBc3Wqc2mY4= =HY4x -----END PGP SIGNATURE-----

2 3

ppl ./README src/Makefile.am
by Roberto Bagnara 25 Jan '06

25 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-25 22:09:47 Modified files: . : README src : Makefile.am Log message: Updated for PPL 0.9. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.diff?cvsroot=ppl&r1=1.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=…

1 0

ppl configure.ac
by Roberto Bagnara 25 Jan '06

25 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-25 22:08:54 Modified files: . : configure.ac Log message: Version number bumped. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl TODO
by Matthew Mundell 25 Jan '06

25 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-01-25 21:57:56 Modified files: . : TODO Log message: Complete some grid items, move rest into section 1. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.17…

1 0

ppl/src Grid_public.cc
by Matthew Mundell 25 Jan '06

25 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-01-25 21:56:54 Modified files: src : Grid_public.cc Log message: Convert final FIX to a FIXME. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro…

1 0

ppl/tests Makefile.am
by Matthew Mundell 25 Jan '06

25 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-01-25 21:46:08 Modified files: tests : Makefile.am Log message: Reorder the directories in SUBDIRS. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl TODO
by Roberto Bagnara 25 Jan '06

25 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-25 21:37:04 Modified files: . : TODO Log message: Done items removed. The need for C and Prolog interfaces concerns all domains, not just grids. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.17…

1 0

`grids' branch merged
by Roberto Bagnara 25 Jan '06

25 Jan '06

Dear all, the `grids' branch has been merged to the main trunk. This means that the `grids' branch has to be considered closed: work on and around the Grid domain proceeds on the main branch (the Grid domain will be part of PPL 0.9). The build machine cslin150.leeds.ac.uk has consequently been redirected to the main trunk. Cheers, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

ppl/Watchdog/src Makefile.in
by Roberto Bagnara 25 Jan '06

25 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: bagnara(a)cs.unipr.it 2006-01-25 21:08:27 Removed files: Watchdog/src : Makefile.in Log message: Makefile.in is automatically generated: it should not be under CVS. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/src/Makefile.in.diff…

1 0

ppl ./TODO ./configure.ac doc/definitions.dox ...
by Roberto Bagnara 25 Jan '06

25 Jan '06

1 0