[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