How to build an ACL2 executable
To build an ACL2 executable, submit the following command while
standing in the main ACL2 directory, where
You should find "Initialization SUCCEEDED." near the end the of the log. Note: There may be ACL2 warnings, for example: "ACL2 Warning [Skip-proofs] in....". These may be safely ignored.