[PPL-devel] problems installing ppl-0.[78] with sicstus on amd64

Peter Schneider-Kamp psk at informatik.rwth-aachen.de
Tue Jan 24 16:34:42 CET 2006


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




More information about the PPL-devel mailing list