[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.
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,