• Top
  • Documentation
  • Books
  • Boolean-reasoning
  • Projects
  • Debugging
  • Std
  • Community
  • Proof-automation
  • Macro-libraries
  • ACL2
    • Theories
    • Rule-classes
    • Proof-builder
    • Recursion-and-induction
    • Hons-and-memoization
    • Events
    • Parallelism
    • History
    • Programming
    • Operational-semantics
    • Real
    • Start-here
      • Gentle-introduction-to-ACL2-programming
      • ACL2-tutorial
        • Introduction-to-the-theorem-prover
        • Pages Written Especially for the Tours
        • The-method
        • Advanced-features
        • Interesting-applications
        • Tips
        • Alternative-introduction
        • Tidbits
        • Annotated-ACL2-scripts
        • Startup
        • ACL2-as-standalone-program
        • ACL2-sedan
          • Defunc
          • Cgen
          • Ccg
          • Defdata
          • ACL2s-user-guide
          • ACL2s-tutorial
          • ACL2s-implementation-notes
          • Match
          • ACL2s-faq
          • ACL2s-intro
          • ACL2s-defaults
          • Definec
          • ACL2s-utilities
          • ACL2s-interface
          • ACL2s-installation
            • ACL2s-installation-faq
            • ACL2s-installation-windows
            • ACL2s-installation-macos
            • ACL2s-installation-linux
            • ACL2s-updating-windows
            • ACL2s-updating-macos-or-linux
        • Talks
        • Nqthm-to-ACL2
        • Emacs
      • About-ACL2
    • Debugging
    • Miscellaneous
    • Output-controls
    • Macros
    • Interfacing-tools
  • Interfacing-tools
  • Hardware-verification
  • Software-verification
  • Math
  • Testing-utilities

• ACL2s-installation

ACL2s-installation-linux

Installation instructions for ACL2s on Linux

Requirements

• At least 5GB of free hard drive space
• At least 4GB of RAM
• An Intel or AMD processor

Instructions

A video walking through installation is available here. These instructions are known to work on Ubuntu 24.04, and may work on other platforms as well. If you run into any issues, feel free to reach out to Cassidy.

1. Ensure the following software is installed on your machine. If not, install using your Linux distribution's package manager.
   • Java 17 or greater (OpenJDK is fine too) (openjdk-17-jre or newer on Ubuntu)
   • git
   • curl
   • procps
   • file
   • "Development tools" (build-essential on Ubuntu)
   1. If you are on an older version of Ubuntu, you may need to install libswt-gtk-4-jni and xutils-dev as well.
2. Install Homebrew
   1. Go to brew.sh and copy-paste the command starting with /bin/bash on the top of that page into a terminal shell, then press enter. You only need to run that single command, and can safely ignore the other instructions on Homebrew's website. You may need to enter your password one or more times throughout the process.
3. Tap and install ACL2s
   1. Run

      brew tap acl2s/acl2s

      and then

      brew install acl2s/acl2s/acl2s --force-bottle

      inside of a terminal. Do not follow any of Homebrew's suggestions regarding installing gcc.
4. Install Eclipse
   1. Download Eclipse and unpack it somewhere on your computer.
   2. Run Eclipse by running

      ./eclipse/eclipse

      from the directory that you unpacked the Eclipse package inside of.
   3. In the menu bar, click on Help → Install New Software...
   4. Click on "Add..." in the screen that comes up. In the resulting window, enter ACL2s next to "Name:" and https://cs2800.atwalter.com/p2 next to "Location". Then, click "Add", which will close the pop-up.
   5. The middle of the window should now show "ACL2s Plugin Update Site". Click on the checkbox to the left of it as well as the "Handproof" item and click "Next>" at the bottom of the window.
   6. In the next window, click "Finish" at the bottom right of the screen. If a pop-up appears that says "Trust" at the top and has two entries in a table at the top, click "Select All" and then "Trust Selected" at the bottom.
   7. After the installation is complete, Eclipse will ask you if you would like to restart Eclipse. Select "Restart Now". This will close Eclipse and reopen it.
5. Get started with Eclipse by working through the ACL2s-tutorial.