Build by connecting to your acl2-sources/ directory
and typing the following, which may take a few minutes to complete.
Note: You will need Gnu make. We have seen
problems with Version 3.81 of that utility, so if you encounter
errors, please consider our instructions for downloading and
installing GNU make version 3.80. (That said, in builds with
Allegro Common Lisp we have seen problems certifying books with GNU
make version 3.80 that seemed to be solved with version 3.81.)

make LISP=<path_to_your_lisp_executable>

OPTIONAL: Download gzipped tarfiles
for workshops
books
and/or nonstd
books from the Google Code website
into the books/ directory (but first
create books/ if you
skipped that step). Further
instructions
are here.