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
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
