5 months without a response. We are closing this bug report because it
lacks the information we need to investigate the problem, as described
in the previous comments. Please reopen it if you can give us the
missing information, and don't hesitate to submit bug reports in the
future. To reopen the
Even setting that variable doesn't work for me, nor do I see a top-
ext.lisp file installed anywhere?? Thanks.
** Changed in: acl2 (Ubuntu)
Status: New = Incomplete
--
(include-book foo :dir :system) fails due to wrong path in :system
https://bugs.launchpad.net/bugs/96701
You received
** Changed in: acl2 (Ubuntu)
Importance: High = Medium
--
(include-book foo :dir :system) fails due to wrong path in :system
https://bugs.launchpad.net/bugs/96701
You received this bug notification because you are a member of Ubuntu
Bugs, which is the bug contact for Ubuntu.
--
ubuntu-bugs
Workaround: set env variable
ACL2_SYSTEM_BOOKS=/usr/share/acl2-3.1/books
--
(include-book foo :dir :system) fails due to wrong path in :system
https://launchpad.net/bugs/96701
--
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
** Changed in: acl2 (Ubuntu)
Importance: Undecided = High
--
(include-book foo :dir :system) fails due to wrong path in :system
https://launchpad.net/bugs/96701
--
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
