Instructions

Download ACL2s for Linux
Follow the instructions on the ACL2s Web page, beginning where the text “Unpack ..” begins. The one deviation from those instructions is that you have to install the two directories (eclipse and acl2s-for-eclipse) in the directory /opt/ (which you probably have to create).