ACL2 Installer for Windows: Installing in a Non-standard Location

1. Set up an environment variable ACL2_SYSTEM_BOOKS to point at the directory housing the books (using Unix style path names). Here is how to do this in Windows 2000:
   • Open the properties under My Computer
   • Choose environment variables from the Advanced tab
   • Create a ACL2_SYSTEM_PATH variable that points to the book directory using Unix-style path names. The syntax is, e.g., /[drive-letter]/.../acl2-sources/books/. Be sure to include the trailing slash.
2. You should re-certify the books before using them. For example, if you installed ACL2 to C:\foo\, do the following:
   1. Open a command prompt.
   2. Change to the directory C:\foo\acl2-sources.
   3. Type the following, being sure to use the forward slash (/) rather than the backslash (\):

      make regression-fresh ACL2=c:/foo/bin/acl2.exe