Re: [tlaplus] building tlaplus from source fails

[Markus Kuppe <tlaplus-go...@xxxxxxxxxxx>]

On 17.11.18 18:41, owen...@xxxxxxxxx wrote:
> Downloading the nightly builds would be a bit wasteful on my end, git pull is a lot simpler process.
>
> Even after a few days, the error still persists but that's an upstream issue.
>
> Skipping the tests with
> mvn clean install -DskipTests
>
> successfully builds the project.
>
> How do I actually run the .jar files; I am getting cannot find main errors.


Hi Owen,

without knowing exactly what you have tried, I can only point you to the
zip files located in
org.lamport.tla.toolbox.product.product/target/products/.  From there
you can follow the regular Toolbox documentation.

Hope this helps,

Markus