[Bug 96701] Re: (include-book "foo" :dir :system) fails due to wrong path in :system
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 bug report you can click on the current status, under the Status column, and change the Status back to "New". Thanks again! ** Changed in: acl2 (Ubuntu) Status: Incomplete => Invalid -- (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 subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
[Bug 96701] Re: (include-book "foo" :dir :system) fails due to wrong path in :system
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 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 96701] Re: (include-book "foo" :dir :system) fails due to wrong path in :system
** 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 mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
[Bug 96701] Re: (include-book "foo" :dir :system) fails due to wrong path in :system
** 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
[Bug 96701] Re: (include-book "foo" :dir :system) fails due to wrong path in :system
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
