SET-CBD.html -- ACL2 Version 6.3

## SET-CBD

to set the connected book directory

    Major Section:  BOOKS

    Example Forms:
    ACL2 !>:set-cbd "/usr/home/smith/"
    ACL2 !>:set-cbd "my-acl2/books"

See cbd for a description of the connected book directory.

    General Form:
    (set-cbd str)

where `str` is a nonempty string that represents the desired directory (see pathname). This command sets the connected book directory (see cbd) to the string representing the indicated directory. Thus, this command may determine which files are processed by `include-book` and `certify-book` commands typed at the top-level. However, the `cbd` is also temporarily set by those two book processing commands.

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.