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