tar xfz acl2.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.)
-j Nif you have an N-core machine, N>1):
saved_acl2(from step 4) and access to certified distributed books (from step 5). Enjoy!
Note: There are many other books available from ACL2 workshops, available here.