This page has been replaced by the ccl-installation page in the ACL2 documentation.