Steps to Install Rodin on macOS (M1 ARM Architecture):

1. Install x86 JDK

   • Download the Intel x86 JDK 18 (macOS .dmg) from Oracle:

     jdk-18.0.2.1_macos-x64_bin.dmg

   • Run the installer; it automatically configures the Java environment.

2. Download and Install Rodin

   • Get Rodin 3.8/3.9 (x86_64 version) from SourceForge:

     rodin-3.8.0.202304051545- macosx.cocoa.x86_64.tar.gz

   • Extract the .tar.gz file and move Rodin.app to the /Applications folder.

3. Fix macOS Security Permissions

• Run this command to bypass “app is damaged” errors:

sudo xattr -cr /Applications/Rodin.app

Rodin should be able to run without any additional steps (e.g., configuring the Java VM path).