• Top
  • Documentation
  • Books
  • Boolean-reasoning
  • Projects
  • Debugging
  • Std
  • 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-updating-macos-or-linux

Update instructions for ACL2s on macOS or Linux

1. Inside of a terminal: run brew update && brew upgrade acl2s
2. Inside of Eclipse: go to Help | Check for Updates. This will take some time to download some information about updates before showing a list of available updates. After some time, a window should pop up that looks like the following:
   
3. Click on Next and then Finish
4. After some time, a window may pop up asking if you want to trust unsigned content. Check the checkbox to the left of Unsigned in that window and then click Trust Selected as shown below.
5. Eventually the installation will complete and Eclipse will tell you that it must be restarted for the updates to take effect. Agree to restart Eclipse (after saving any files that you might be working on).