I tried building it locally using Java 1.11 and instructions from Developing.md, but ran into problems. Sorry, I am not a java expert - the mvn install error log is below.
Please let me know if any other information will help figure out the reason for the failure.
[INFO] org.lamport.tla.toolbox.p2repository 1.0.0-SNAPSHOT SUCCESS [ 20.654 s]
[INFO] org.lamport.tla.toolbox.product.product 1.4.0-SNAPSHOT FAILURE [ 22.138 s]
[INFO] ------------------------------------------------------------------------
[INFO] BUILD FAILURE
[INFO] ------------------------------------------------------------------------
[INFO] Total time: 01:55 min
[INFO] Finished at: 2024-09-13T12:50:07+02:00
[INFO] ------------------------------------------------------------------------
[ERROR] Failed to execute goal org.eclipse.tycho:tycho-p2-director-plugin:1.5.1:materialize-products (materialize-products) on project org.lamport.tla.toolbox.product.product: Installation of product org.lamport.tla.toolbox.product.product for environment linux/gtk/x86_64 failed: Call to p2 director application failed with exit code 13. Program arguments were: [-metadataRepository, file:/home/blah/projects/tlaplus/tlaplus/toolbox/org.lamport.tla.toolbox.product.product/target/,file:/home/blah/projects/tlaplus/tlaplus/toolbox/org.lamport.tla.toolbox.product.product/target/targetPlatformRepository/, -artifactRepository, file:/home/blah/projects/tlaplus/tlaplus/toolbox/org.lamport.tla.toolbox.product.product/target/,file:/resolution-context-artifacts@%252Fhome%252Fblah%252Fprojects%252Ftlaplus%252Ftlaplus%252Ftoolbox%252Forg.lamport.tla.toolbox.product.product,file:/home/blah/projects/tlaplus/tlaplus/toolbox/org.lamport.tla.toolbox/target/,file:/home/blah/projects/tlaplus/tlaplus/tlatools/org.lamport.tlatools/target/,file:/home/blah/projects/tlaplus/tlaplus/toolbox/org.lamport.tla.toolbox.product.standalone/target/,file:/home/blah/projects/tlaplus/tlaplus/toolbox/org.lamport.tla.toolbox.doc/target/,file:/home/blah/projects/tlaplus/tlaplus/toolbox/org.lamport.tla.toolbox.editor.basic/target/,file:/home/blah/projects/tlaplus/tlaplus/toolbox/org.lamport.tla.toolbox.feature.base/target/,file:/home/blah/projects/tlaplus/tlaplus/toolbox/org.lamport.tla.toolbox.feature.branding/target/,file:/home/blah/projects/tlaplus/tlaplus/toolbox/org.lamport.tla.toolbox.feature.editor/target/,file:/home/blah/projects/tlaplus/tlaplus/toolbox/org.lamport.tla.toolbox.feature.help/target/,file:/home/blah/projects/tlaplus/tlaplus/toolbox/org.lamport.tla.toolbox.feature.jclouds/target/,file:/home/blah/projects/tlaplus/tlaplus/toolbox/org.lamport.tla.toolbox.jclouds/target/,file:/home/blah/projects/tlaplus/tlaplus/toolbox/org.lamport.tla.toolbox.feature.jnlp/target/,file:/home/blah/projects/tlaplus/tlaplus/toolbox/org.lamport.tla.toolbox.jnlp/target/,file:/home/blah/projects/tlaplus/tlaplus/toolbox/org.lamport.tla.toolbox.feature.prover/target/,file:/home/blah/projects/tlaplus/tlaplus/toolbox/org.lamport.tla.toolbox.tool.prover/target/,file:/home/blah/projects/tlaplus/tlaplus/toolbox/org.lamport.tla.toolbox.feature.standalone/target/,file:/home/blah/projects/tlaplus/tlaplus/toolbox/org.lamport.tla.toolbox.feature.tlc/target/,file:/home/blah/projects/tlaplus/tlaplus/toolbox/org.lamport.tla.toolbox.feature.tla2tex/target/,file:/home/blah/projects/tlaplus/tlaplus/toolbox/org.lamport.tla.toolbox.rss/target/,file:/home/blah/projects/tlaplus/tlaplus/toolbox/org.lamport.tla.toolbox.tool.tla2tex/target/,file:/home/blah/projects/tlaplus/tlaplus/toolbox/org.lamport.tla.toolbox.tool.tlc/target/,file:/home/blah/projects/tlaplus/tlaplus/toolbox/org.lamport.tla.toolbox.tool.tlc.ui/target/,file:/home/blah/projects/tlaplus/tlaplus/toolbox/org.lamport.tla.toolbox.product.product/target/,file:/home/blah/.m2/repository/, -installIU, org.lamport.tla.toolbox.product.product, -destination, /home/blah/projects/tlaplus/tlaplus/toolbox/org.lamport.tla.toolbox.product.product/target/products/org.lamport.tla.toolbox.product.product/linux/gtk/x86_64/toolbox, -profile, DefaultProfile, -profileProperties, org.eclipse.update.install.features=true, -roaming, -p2.os, linux, -p2.ws, gtk, -p2.arch, x86_64]. -> [Help 1]
org.apache.maven.lifecycle.LifecycleExecutionException: Failed to execute goal org.eclipse.tycho:tycho-p2-director-plugin:1.5.1:materialize-products (materialize-products) on project org.lamport.tla.toolbox.product.product: Installation of product org.lamport.tla.toolbox.product.product for environment linux/gtk/x86_64 failed
at org.apache.maven.lifecycle.internal.MojoExecutor.doExecute2 (MojoExecutor.java:333)
at org.apache.maven.lifecycle.internal.MojoExecutor.doExecute (MojoExecutor.java:316)
at org.apache.maven.lifecycle.internal.MojoExecutor.execute (MojoExecutor.java:212)
at org.apache.maven.lifecycle.internal.MojoExecutor.execute (MojoExecutor.java:174)
at org.apache.maven.lifecycle.internal.MojoExecutor.access$000 (MojoExecutor.java:75)
at org.apache.maven.lifecycle.internal.MojoExecutor$1.run (MojoExecutor.java:162)
at org.apache.maven.plugin.DefaultMojosExecutionStrategy.execute (DefaultMojosExecutionStrategy.java:39)
at org.apache.maven.lifecycle.internal.MojoExecutor.execute (MojoExecutor.java:159)
at org.apache.maven.lifecycle.internal.LifecycleModuleBuilder.buildProject (LifecycleModuleBuilder.java:105)
at org.apache.maven.lifecycle.internal.LifecycleModuleBuilder.buildProject (LifecycleModuleBuilder.java:73)
at org.apache.maven.lifecycle.internal.builder.singlethreaded.SingleThreadedBuilder.build (SingleThreadedBuilder.java:53)
at org.apache.maven.lifecycle.internal.LifecycleStarter.execute (LifecycleStarter.java:118)
at org.apache.maven.DefaultMaven.doExecute (DefaultMaven.java:261)
at org.apache.maven.DefaultMaven.doExecute (DefaultMaven.java:173)
at org.apache.maven.DefaultMaven.execute (DefaultMaven.java:101)
at org.apache.maven.cli.MavenCli.execute (MavenCli.java:903)
at org.apache.maven.cli.MavenCli.doMain (MavenCli.java:280)
at org.apache.maven.cli.MavenCli.main (MavenCli.java:203)
at jdk.internal.reflect.NativeMethodAccessorImpl.invoke0 (Native Method)
at jdk.internal.reflect.NativeMethodAccessorImpl.invoke (NativeMethodAccessorImpl.java:62)
at jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke (DelegatingMethodAccessorImpl.java:43)
at java.lang.reflect.Method.invoke (Method.java:566)
at org.codehaus.plexus.classworlds.launcher.Launcher.launchEnhanced (Launcher.java:255)
at org.codehaus.plexus.classworlds.launcher.Launcher.launch (Launcher.java:201)
at org.codehaus.plexus.classworlds.launcher.Launcher.mainWithExitCode (Launcher.java:361)
at org.codehaus.plexus.classworlds.launcher.Launcher.main (Launcher.java:314)
Caused by: org.apache.maven.plugin.MojoFailureException: Installation of product org.lamport.tla.toolbox.product.product for environment linux/gtk/x86_64 failed
at org.eclipse.tycho.plugins.p2.director.DirectorMojo.execute (DirectorMojo.java:143)
at org.apache.maven.plugin.DefaultBuildPluginManager.executeMojo (DefaultBuildPluginManager.java:126)
at org.apache.maven.lifecycle.internal.MojoExecutor.doExecute2 (MojoExecutor.java:328)
at org.apache.maven.lifecycle.internal.MojoExecutor.doExecute (MojoExecutor.java:316)
at org.apache.maven.lifecycle.internal.MojoExecutor.execute (MojoExecutor.java:212)
at org.apache.maven.lifecycle.internal.MojoExecutor.execute (MojoExecutor.java:174)
at org.apache.maven.lifecycle.internal.MojoExecutor.access$000 (MojoExecutor.java:75)
at org.apache.maven.lifecycle.internal.MojoExecutor$1.run (MojoExecutor.java:162)
at org.apache.maven.plugin.DefaultMojosExecutionStrategy.execute (DefaultMojosExecutionStrategy.java:39)
at org.apache.maven.lifecycle.internal.MojoExecutor.execute (MojoExecutor.java:159)
at org.apache.maven.lifecycle.internal.LifecycleModuleBuilder.buildProject (LifecycleModuleBuilder.java:105)
at org.apache.maven.lifecycle.internal.LifecycleModuleBuilder.buildProject (LifecycleModuleBuilder.java:73)
at org.apache.maven.lifecycle.internal.builder.singlethreaded.SingleThreadedBuilder.build (SingleThreadedBuilder.java:53)
at org.apache.maven.lifecycle.internal.LifecycleStarter.execute (LifecycleStarter.java:118)
at org.apache.maven.DefaultMaven.doExecute (DefaultMaven.java:261)
at org.apache.maven.DefaultMaven.doExecute (DefaultMaven.java:173)
at org.apache.maven.DefaultMaven.execute (DefaultMaven.java:101)
at org.apache.maven.cli.MavenCli.execute (MavenCli.java:903)
at org.apache.maven.cli.MavenCli.doMain (MavenCli.java:280)
at org.apache.maven.cli.MavenCli.main (MavenCli.java:203)
at jdk.internal.reflect.NativeMethodAccessorImpl.invoke0 (Native Method)
at jdk.internal.reflect.NativeMethodAccessorImpl.invoke (NativeMethodAccessorImpl.java:62)
at jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke (DelegatingMethodAccessorImpl.java:43)
at java.lang.reflect.Method.invoke (Method.java:566)
at org.codehaus.plexus.classworlds.launcher.Launcher.launchEnhanced (Launcher.java:255)
at org.codehaus.plexus.classworlds.launcher.Launcher.launch (Launcher.java:201)
at org.codehaus.plexus.classworlds.launcher.Launcher.mainWithExitCode (Launcher.java:361)
at org.codehaus.plexus.classworlds.launcher.Launcher.main (Launcher.java:314)
Caused by: org.eclipse.tycho.p2.tools.director.shared.DirectorCommandException: Call to p2 director application failed with exit code 13. Program arguments were: [-metadataRepository, file:/home/blah/projects/tlaplus/tlaplus/toolbox/org.lamport.tla.toolbox.product.product/target/,file:/home/blah/projects/tlaplus/tlaplus/toolbox/org.lamport.tla.toolbox.product.product/target/targetPlatformRepository/, -artifactRepository, file:/home/blah/projects/tlaplus/tlaplus/toolbox/org.lamport.tla.toolbox.product.product/target/,file:/resolution-context-artifacts@%252Fhome%252Fblah%252Fprojects%252Ftlaplus%252Ftlaplus%252Ftoolbox%252Forg.lamport.tla.toolbox.product.product,file:/home/blah/projects/tlaplus/tlaplus/toolbox/org.lamport.tla.toolbox/target/,file:/home/blah/projects/tlaplus/tlaplus/tlatools/org.lamport.tlatools/target/,file:/home/blah/projects/tlaplus/tlaplus/toolbox/org.lamport.tla.toolbox.product.standalone/target/,file:/home/blah/projects/tlaplus/tlaplus/toolbox/org.lamport.tla.toolbox.doc/target/,file:/home/blah/projects/tlaplus/tlaplus/toolbox/org.lamport.tla.toolbox.editor.basic/target/,file:/home/blah/projects/tlaplus/tlaplus/toolbox/org.lamport.tla.toolbox.feature.base/target/,file:/home/blah/projects/tlaplus/tlaplus/toolbox/org.lamport.tla.toolbox.feature.branding/target/,file:/home/blah/projects/tlaplus/tlaplus/toolbox/org.lamport.tla.toolbox.feature.editor/target/,file:/home/blah/projects/tlaplus/tlaplus/toolbox/org.lamport.tla.toolbox.feature.help/target/,file:/home/blah/projects/tlaplus/tlaplus/toolbox/org.lamport.tla.toolbox.feature.jclouds/target/,file:/home/blah/projects/tlaplus/tlaplus/toolbox/org.lamport.tla.toolbox.jclouds/target/,file:/home/blah/projects/tlaplus/tlaplus/toolbox/org.lamport.tla.toolbox.feature.jnlp/target/,file:/home/blah/projects/tlaplus/tlaplus/toolbox/org.lamport.tla.toolbox.jnlp/target/,file:/home/blah/projects/tlaplus/tlaplus/toolbox/org.lamport.tla.toolbox.feature.prover/target/,file:/home/blah/projects/tlaplus/tlaplus/toolbox/org.lamport.tla.toolbox.tool.prover/target/,file:/home/blah/projects/tlaplus/tlaplus/toolbox/org.lamport.tla.toolbox.feature.standalone/target/,file:/home/blah/projects/tlaplus/tlaplus/toolbox/org.lamport.tla.toolbox.feature.tlc/target/,file:/home/blah/projects/tlaplus/tlaplus/toolbox/org.lamport.tla.toolbox.feature.tla2tex/target/,file:/home/blah/projects/tlaplus/tlaplus/toolbox/org.lamport.tla.toolbox.rss/target/,file:/home/blah/projects/tlaplus/tlaplus/toolbox/org.lamport.tla.toolbox.tool.tla2tex/target/,file:/home/blah/projects/tlaplus/tlaplus/toolbox/org.lamport.tla.toolbox.tool.tlc/target/,file:/home/blah/projects/tlaplus/tlaplus/toolbox/org.lamport.tla.toolbox.tool.tlc.ui/target/,file:/home/blah/projects/tlaplus/tlaplus/toolbox/org.lamport.tla.toolbox.product.product/target/,file:/home/blah/.m2/repository/, -installIU, org.lamport.tla.toolbox.product.product, -destination, /home/blah/projects/tlaplus/tlaplus/toolbox/org.lamport.tla.toolbox.product.product/target/products/org.lamport.tla.toolbox.product.product/linux/gtk/x86_64/toolbox, -profile, DefaultProfile, -profileProperties, org.eclipse.update.install.features=true, -roaming, -p2.os, linux, -p2.ws, gtk, -p2.arch, x86_64].
at org.eclipse.tycho.p2.tools.director.DirectorApplicationWrapper$DirectorApplicationWrapperCommand.execute (DirectorApplicationWrapper.java:48)
at org.eclipse.tycho.plugins.p2.director.DirectorMojo.execute (DirectorMojo.java:141)
at org.apache.maven.plugin.DefaultBuildPluginManager.executeMojo (DefaultBuildPluginManager.java:126)
at org.apache.maven.lifecycle.internal.MojoExecutor.doExecute2 (MojoExecutor.java:328)
at org.apache.maven.lifecycle.internal.MojoExecutor.doExecute (MojoExecutor.java:316)
at org.apache.maven.lifecycle.internal.MojoExecutor.execute (MojoExecutor.java:212)
at org.apache.maven.lifecycle.internal.MojoExecutor.execute (MojoExecutor.java:174)
at org.apache.maven.lifecycle.internal.MojoExecutor.access$000 (MojoExecutor.java:75)
at org.apache.maven.lifecycle.internal.MojoExecutor$1.run (MojoExecutor.java:162)
at org.apache.maven.plugin.DefaultMojosExecutionStrategy.execute (DefaultMojosExecutionStrategy.java:39)
at org.apache.maven.lifecycle.internal.MojoExecutor.execute (MojoExecutor.java:159)
at org.apache.maven.lifecycle.internal.LifecycleModuleBuilder.buildProject (LifecycleModuleBuilder.java:105)
at org.apache.maven.lifecycle.internal.LifecycleModuleBuilder.buildProject (LifecycleModuleBuilder.java:73)
at org.apache.maven.lifecycle.internal.builder.singlethreaded.SingleThreadedBuilder.build (SingleThreadedBuilder.java:53)
at org.apache.maven.lifecycle.internal.LifecycleStarter.execute (LifecycleStarter.java:118)
at org.apache.maven.DefaultMaven.doExecute (DefaultMaven.java:261)
at org.apache.maven.DefaultMaven.doExecute (DefaultMaven.java:173)
at org.apache.maven.DefaultMaven.execute (DefaultMaven.java:101)
at org.apache.maven.cli.MavenCli.execute (MavenCli.java:903)
at org.apache.maven.cli.MavenCli.doMain (MavenCli.java:280)
at org.apache.maven.cli.MavenCli.main (MavenCli.java:203)
at jdk.internal.reflect.NativeMethodAccessorImpl.invoke0 (Native Method)
at jdk.internal.reflect.NativeMethodAccessorImpl.invoke (NativeMethodAccessorImpl.java:62)
at jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke (DelegatingMethodAccessorImpl.java:43)
at java.lang.reflect.Method.invoke (Method.java:566)
at org.codehaus.plexus.classworlds.launcher.Launcher.launchEnhanced (Launcher.java:255)
at org.codehaus.plexus.classworlds.launcher.Launcher.launch (Launcher.java:201)
at org.codehaus.plexus.classworlds.launcher.Launcher.mainWithExitCode (Launcher.java:361)
at org.codehaus.plexus.classworlds.launcher.Launcher.main (Launcher.java:314)
[ERROR]
[ERROR]
[ERROR] For more information about the errors and possible solutions, please read the following articles:
[ERROR] [Help 1] http://cwiki.apache.org/confluence/display/MAVEN/MojoFailureException
[ERROR]
[ERROR] After correcting the problems, you can resume the build with the command
[ERROR] mvn <args> -rf :org.lamport.tla.toolbox.product.product
[DEBUG] Shutting down adapter factory; available factories [file-lock, rwlock-local, semaphore-local, noop]; available name mappers [discriminating, file-gav, file-hgav, file-static, gav, static]
[DEBUG] Shutting down 'file-lock' factory
[DEBUG] Shutting down 'rwlock-local' factory
[DEBUG] Shutting down 'semaphore-local' factory
[DEBUG] Shutting down 'noop' factory