Here we describe two convenient ways to obtain a Windows-based ACL2 distribution that includes a pre-built executable and pre-certified books.
1. Windows users who prefer an Eclipse-based GUI should fetch the ACL2 Sedan (ACL2s). Also see the ACL2 documentation topic on the ACL2 Sedan.2. Users who prefer a command-line interface (directly or via Emacs) may wish instead to download a pre-built Windows ACL2 distribution.
The following instructions are based on information kindly provided by Harsh Raju Chamarthi. To install, simply download and extract one of the zip files above, under a path with no spaces. Execute
- 32-bit:
http://acl2s.ccs.neu.edu/acl2s/src/acl2/acl2-4.3-win32.zip- 64-bit:
http://acl2s.ccs.neu.edu/acl2s/src/acl2/acl2-4.3-win64.zip.\run_acl2.exein the top-level directory created by extracting the zip file. The first time you execute that command, the certificate (.cert) files are then automatically fixed, with the new distributed books directory path. When an ACL2 prompt appears, you are ready to use ACL2. Note that you'll need Java (JRE), which might well already be on your machine; Harsh uses JRE 1.6.