Sharing the steps I took to get Alloy running on Fedora Linux in case anyone else has problems.
I am running Fedora 37 and have Java 8 installed, which I verified with
java -version after activating that version following these instructions using
sudo alternative --config java
If I install the Visual Studio Code extension for Alloy, I am able to run a spec, but the visualizer does not open when I click “Instance found. Predicate is consistent.”
When I download the
.jar from GitHub and try to run it, I get the error (long stack-trace omitted):
Exception: java.awt.HeadlessException thrown from the UncaughtExceptionHandler in thread "AWT-EventQueue-0"
When I try to build the program from source, I get the error:
sean@carbon75 ~/s/org.alloytools.alloy (master)> ./gradlew build (py39) Downloading https://services.gradle.org/distributions/gradle-7.2-bin.zip ..........10%...........20%...........30%...........40%...........50%...........60%...........70%...........80%...........90%...........100% Welcome to Gradle 7.2! Here are the highlights of this release: - Toolchain support for Scala - More cache hits when Java source files have platform-specific line endings - More resilient remote HTTP build cache behavior For more details see https://docs.gradle.org/7.2/release-notes.html Starting a Gradle Daemon (subsequent builds will be faster) > Task :org.alloytools.api:compileJava FAILED FAILURE: Build failed with an exception. * What went wrong: Execution failed for task ':org.alloytools.api:compileJava'. > Could not find tools.jar. Please check that /usr/lib/jvm/java-1.8.0-openjdk-220.127.116.112.b09-2.fc37.x86_64/jre contains a valid JDK installation. * Try: Run with --stacktrace option to get the stack trace. Run with --info or --debug option to get more log output. Run with --scan to get full insights. * Get more help at https://help.gradle.org BUILD FAILED in 16s 2 actionable tasks: 2 executed
Although I was able to run
java -version to confirm Java 1.8 was installed, my installation was actually broken. Reinstalling it with
sudo dnf install java-1.8.0-openjdk allowed me to run the
.jar. This also allowed me to get visualizations from the Visual Studio Code Alloy extension.