[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[tlaplus] Re: arm/linux builds?

Currently nobody is really working on maintaining the toolbox GUI so if you would like it to work on your platform it would be up to you to debug & fix it. It builds in the CI but I can't get it to build locally either. That said I have found that the pre-built toolbox binary from the github CI works on Linux. You might run into difficulties depending on your desktop environment and I believe there are issues with scaling for high-DPI displays, but it is worth trying. Another alternative is to use the VS Code extension.

Andrew
On Friday, September 13, 2024 at 6:52:51 AM UTC-4 Kulpreet Singh wrote:
Hi,

Are there any plans to release builds for arm/linux?

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.

Regards
Kulpreet

[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

--
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/a6ed287a-44a2-4cdb-8113-b31c3d908e1cn%40googlegroups.com.