Not building on OpenBSD, request for cross platform JAR

Tried building this on OpenBSD using mvn build, but I got an error as it was unable to download Eclipse.

I could try building this on another machine. Could someone please share the instructions I can use to create a cross platform JAR file that I can copy over to the OpenBSD machine and run it there?

Apr 26, 2021 11:31:04 PM org.apache.http.impl.execchain.RetryExec execute
INFO: I/O exception (org.apache.http.NoHttpResponseException) caught when processing request to {}->http://download.eclipse.org:80: The target server failed to respond
Apr 26, 2021 11:31:04 PM org.apache.http.impl.execchain.RetryExec execute
INFO: Retrying request to {}->http://download.eclipse.org:80
[INFO] Fetching p2.index from http://download.eclipse.org/mylyn/releases/3.24/ (126B)
[INFO] Fetching p2.index from http://download.eclipse.org/mylyn/releases/3.24/ (126B)
[INFO] Adding repository http://download.eclipse.org/mylyn/releases/3.24
[INFO] Fetching p2.index from http://download.eclipse.org/e4/snapshots/org.eclipse.e4.tools/latest/ (172B)
[INFO] Fetching p2.index from http://download.eclipse.org/e4/snapshots/org.eclipse.e4.tools/latest/ (172B)
[INFO] Adding repository http://download.eclipse.org/e4/snapshots/org.eclipse.e4.tools/latest
[INFO] Resolving dependencies of MavenProject: tlatoolbox:org.lamport.tlatools:1.0.0-SNAPSHOT @ /home/samuel/src/tlaplus/tlatools/org.lamport.tlatools/pom.xml
Apr 26, 2021 11:31:10 PM org.apache.http.impl.execchain.RetryExec execute
INFO: I/O exception (org.apache.http.NoHttpResponseException) caught when processing request to {}->http://download.eclipse.org:80: The target server failed to respond
Apr 26, 2021 11:31:10 PM org.apache.http.impl.execchain.RetryExec execute
INFO: Retrying request to {}->http://download.eclipse.org:80

Eclipse was removed from the packages in 2016 from OpenBSD, and it seems that the ports (user-maintained builds something like AUR) hasn’t been updated in a while. Is having Eclipse a hard requirement to build/run TLA+ Toolbox from source?

[lemmy]

The Toolbox and the VSCode extension have a few advanced features, such as a debugger, profile, TLAPS integration, … that don’t exist on the CLI.

[samebchase]

Cool, thanks a lot for the assistance @lemmy!

I might have to figure out some kinda CLI workflow on OpenBSD (if it even is possible). Thankfully, I have another machine where the TLA+ toolbox is working fine, so there’s no hard requirement as such. Just was wondering if it would work on OpenBSD.