NOTE: A quicker and even easier install may be possible, by instead obtaining a pre-built binary distribution if one is available for your platform. Otherwise:
tar xfz acl2.tar.gz
acl2-sources/to create directory
tar xfz books-5.0.tar.gz
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.)
books/directory. (Further instructions are here.)
-j Nif you have an N-core machine, N>1):
saved_acl2(from step 6) and access to certified distributed books (from step 8). Enjoy!