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

Here are the steps for installing in a location other than C:\ACL2-3.6\.

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 variable ACL2_SYSTEM_BOOKS 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.
You should re-certify the books before using them. For example, if you installed ACL2 to C:\foo\, do the following:
- Open a command prompt.
- Change to the directory C:\foo\acl2-sources.
- Type the following, being sure to use the forward slash (/) rather than the backslash (\):
```
make regression-fresh ACL2=c:/foo/bin/acl2.exe
```