A build-system-supported mechanism to include the events from a
book as a
Include-events reads the forms from a source file, which must begin
with an in-package form, and submits those forms as a
(include-book "build/include-events" :dir :system) ;; prerequisite (include-events "book-name" :dir :system :encapsulate nil)
The name of the actual file to be loaded will be the filename argument with ".lisp" appended. The related include-src-events does the same thing without adding the extension.
The events read from the file are run in the current book's context. Among
other things, this means that the connected book directory (see cbd)
remains the directory of the current book, not that of the loaded file, unless
it is the same directory. Include-event tries to compensate for this by
The cert.pl build system supports this in that if this form is in a book, it creates dependencies from that book on the source file that is included as well as any additional dependencies found in that source file.
If a library has a book "top" that only includes other books, then "top"
could be included via