I can't reproduce this with the 7.2.0 packages:
Welcome to SWI-Prolog (Multi-threaded, 64 bits, Version 7.2.0)
Copyright (c) 1990-2015 University of Amsterdam, VU Amsterdam
SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software,
and you are welcome to redistribute it under certain
Since some swi-libraries included in the ubuntu package rely on some libraries
not included,
the missing libraries should be included in the package
instead of making a different package out of them.
** Changed in: swi-prolog (Ubuntu)
Status: Incomplete = Confirmed
--
You received this
Confirming the bug in Ubuntu 11.04 Natty Narwhal.
The libraries for clpr,clpq and clpqr are missing when installing swi-prolog
from the ubuntu-packages.
But I also managed to acquire the missing files, inserted them in the clp
directory and it worked out just fine.
Is there any way for me to
I confirm the same bug in Ubuntu 10.10 Maverick Meerkat.
CLP (both Q and R) are not available, and there is no swi-prolog-clpqr package
available.
--
CLP missing
https://bugs.launchpad.net/bugs/81561
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed
Same thing here in hardy. I have apted swi-prolog but clpr was not
installed. I can't see a swi-prolog-clpr package.
--
CLP missing
https://bugs.launchpad.net/bugs/81561
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
--
ubuntu-bugs
Hi,
I've just installed SWI prolog on ubuntu 7.10, and I an confirm that the
above bug does seem to exist. In response to Aron's questions to the
original submitter, it may be that these packages are distributed as
separate packages, but the library clp/simplex, which installs as
default, cannot
** Changed in: swi-prolog (Ubuntu)
Status: Invalid = Incomplete
--
CLP missing
https://bugs.launchpad.net/bugs/81561
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
--
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
I'm closing this due to a lack of response. If you can provide the
requested information, please reopen the bug.
** Changed in: swi-prolog (Ubuntu)
Status: Incomplete = Invalid
--
CLP missing
https://bugs.launchpad.net/bugs/81561
You received this bug notification because you are a
** Changed in: swi-prolog (Ubuntu)
Importance: Undecided = Wishlist
--
CLP missing
https://launchpad.net/bugs/81561
--
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
Thanks for your bug-report! I think these packages are distributed as
separate packages. All these are built from only one source package,
though.
What are the (other) CLP libraries that fail to load because of this?
I think, if something distributed in the main binary package (swi-
prolog) is
10 matches
Mail list logo
