Re: [tlaplus] building tlaplus from source fails

[owen...@xxxxxxxxx]

On Monday, November 19, 2018 at 5:14:49 AM UTC+8, loki der quaeler wrote:
> 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.
> 
> 
>  

I found the tla ide executable in:
/home/owen/dev/tlaplus/org.lamport.tla.toolbox.product.product/target/products/org.lamport.tla.toolbox.product.product/linux/gtk/x86_64/toolbox

Thank you!