Major Section: EVENTS
Example Form: (add-include-book-dir :smith "/u/smith/") ; For (include-book "foo" :dir :smith), prepend "/u/smith/" to "foo".where
General Form: (add-include-book-dir kwd dir)
diris the absolute pathname (see pathname) of a directory. The effect of this event is to modify the meaning of the
:dirkeyword argument of
include-bookas indicated by the examples above, namely by associating the indicated directory with the indicated keyword for purposes of the
:dirargument. See delete-include-book-dir for how to undo this effect.
Caveat: The keyword
:system cannot be redefined. It will always point to
the absolute pathname of the distributed books directory, which by default is
immediately under the directory where the ACL2 executable was originally
built (see include-book, in particular the discussion there of ``books
directory''). Thus, if you are using an executable that has been moved,
:system will likely not work for you.
Note: This is an event! It does not print the usual event summary but nevertheless changes the ACL2 logical world and is so recorded.
This macro generates a call
(table acl2-defaults-table :include-book-dir-alist ...)
and hence is local to any books in which is occurs;