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

Re: [tlaplus] building tlaplus from source fails

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,