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

Re: [tlaplus] building tlaplus from source fails

Files that are in your ~/.m2 directory are what maven uses to build against, the executable product application built by maven for your execution will be within the source tree - probably in the location Markus recommends here:
> ... 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.