Updating existing installation to ACL2s version 184.108.40.206
In your working Eclipse (with ACL2s), from the menu on the top,
select Help | Check for Updates .... If there is a
newer version available, a window will pop up with the latest versions
of ACL2s and Eclipse, unselect the Eclipse, but keep the ACL2s/ACL2 Image
checkbox(s) selected and press Yes/Next. Once the update finishes, it
will ask you to restart and delete some old files, say Yes. On
restart, you will be prompted to repeat the initialization step (ACL2s system book recertification).
Fresh Installation (Prepackaged tarball)
ACL2s 220.127.116.11 (Compatible with ACL2 8.0.0)
|Mac OS    (.tar.gz)
|Unpack and go...
- To open Eclipse.app in the Mac prepackaged tarball, cd to the extracted directory and run the following command in terminal:
xattr -c Eclipse.app
- If you have installation problems, check the faq.
- The ACL2s/eclipse installation should be separate and disjoint
from any other versions of Eclipse you have installed. Use a fresh
workspace (e.g. /Users/yourname/acl2s-workspace) that is different
from the workspace you use for Java or other projects
- Alternative ways of installing ACL2 Sedan can be found here.