[Bug 81561] Re: CLP missing
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 conditions. Please visit http://www.swi-prolog.org for details. For help, use ?- help(Topic). or ?- apropos(Word). ?- [library(clpr)]. true. ?- ** Changed in: swi-prolog (Ubuntu) Status: Confirmed => Fix Released -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/81561 Title: CLP missing To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/swi-prolog/+bug/81561/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
[Bug 81561] Re: CLP missing
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 bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/81561 Title: CLP missing To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/swi-prolog/+bug/81561/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
[Bug 81561] Re: CLP missing
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 add them? -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/81561 Title: CLP missing To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/swi-prolog/+bug/81561/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
[Bug 81561] Re: CLP missing
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 to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
[Bug 81561] Re: CLP missing
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 mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
[Bug 81561] Re: CLP missing
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 be loaded without the clpr library. Furthermore, the documentation for clpq and clpr are both installed, which is inconsistent. Also, I cannot find the clpq or clpr packages via synaptic. Are they distributed via the ubuntu servers? Cheers, Tim -- 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 https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
[Bug 81561] Re: CLP missing
** 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 https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
[Bug 81561] Re: CLP missing
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 member of Ubuntu Bugs, which is the bug contact for Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
[Bug 81561] Re: CLP missing
** 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
[Bug 81561] Re: CLP missing
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 unusable because of this, it should be included. Otherwise a new binary package should be created for CLP libraries, e.g., swi- prolog-clp. ** Changed in: swi-prolog (Ubuntu) Assignee: (unassigned) = Áron Sisak Status: Unconfirmed = Needs Info -- CLP missing https://launchpad.net/bugs/81561 -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
