To set the connected book directory
ACL2 !>:set-cbd "/usr/home/smith/"
ACL2 !>:set-cbd "my-acl2/books"
See cbd for a description of the connected book directory.
where str evaluates to a nonempty string that represents the desired
directory (see pathname). This command sets the connected book
directory according to that string; see cbd. Thus, this command may
determine which files are processed by include-book, certify-book, and ld commands, as well as by file operations
such as open-input-channel.
IMPORTANT: Pathnames in ACL2 are in the Unix (trademark of AT&T) style.
That is, the character ``/'' separates directory components of a
pathname, and pathnames are absolute when they start with this character, and
relative otherwise. See pathname.