On Tuesday, May 13, 2025 at 9:51:15 AM UTC-4 Sauparna Palchowdhury wrote:
"mvn verify" fails.
Setup
OS: macOS, aarch64.
I installed the Adoptium JDK, and I am using Ant and Maven from the command-line. The JAVA_HOME variable is set in .zshenv, the latest And and Maven binaries were downloaded, contents of Ant's bin and lib directories were copied to /usr/local/, and, Maven's bin was added to the PATH environment variable in .zshenv.
JDK; "java --version'' prints
openjdk 21.0.7 2025-04-15 LTS
OpenJDK Runtime Environment Temurin-21.0.7+6 (build 21.0.7+6-LTS)
OpenJDK 64-Bit Server VM Temurin-21.0.7+6 (build 21.0.7+6-LTS, mixed mode, sharing)
Ant; 1.10.15
Maven; "mvn -v'' prints
Apache Maven 3.9.9 (8e8579a9e76f7d015ee5ec7bfcdc97d260186937)
Maven home: /Users/rup/Documents/work/lamport/apache-maven-3.9.9
Java version: 11.0.27, vendor: Eclipse Adoptium, runtime: /Library/Java/JavaVirtualMachines/temurin-11.jdk/Contents/Home
Default locale: en_US, platform encoding: UTF-8
OS name: "mac os x", version: "15.4.1", arch: "aarch64", family: "mac"
Eclipse;
Eclipse IDE for RCP and RAP Developers (includes Incubating components)
Version: 2024-06 (4.32.0)
Build id: 20240606-1231
The "tlatools'' build runs smoothly from the command line, as described in documentation (DEVELOPING.md).
The Toolbox IDE build runs to completion from command line (I set JAVA_HOME temporarily to point to a JDK version 11), but "mvn verify'' fails with numerous errors, with messages complaining about missing org.eclipse.* libraries. The following pattern of error messages repeat numerous times.
!ENTRY org.eclipse.ui.views 2 0 2025-05-12 10:36:32.269
!MESSAGE Could not resolve module: org.eclipse.ui.views [26]
Here is the full error log file from "tlaplus/toolbox/org.lamport.tla.toolbox.test/target/work/configuration/1747060591331.log''
It's my assumption that I need to point the build to certain Eclipse libraries.
I have the Eclipse IDE installed on macOS. How do I set up a Eclipse project for the Toolbox IDE? The page "Developing with the Eclipse IDE'' (linked from DEVELOPING.md) describes installing Eclipse using a tool called "Oomph" but I am looking for a simpler alternative. I want to avoid using Git from inside Eclipse, I would like to work at the command-line, use my own editor, and, if and when necessary, run the tests (the purpose of ``mvn verify'') in Eclipse. Is there a way to set up the Eclipse project by pointing Eclipse to a particular directory, analogus to opening the "tlatools/org.lamport.tlatools'' project directory for "tlatools''?