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

Re: [tlaplus] building tlaplus from source fails



On 15.11.18 23:02, owen...@xxxxxxxxx wrote:
> I have never used maven before, I want to use the latest tlaplus from github so I clone the repo, here's a git log:

Hi,

what you see seems to be caused by an intermittent network connection
problem.  Try running maven again.


That said, you do not have to build tlaplus manually.  We provide a
nightly build at https://tla.msr-inria.inria.fr/tlatoolbox/ci/products/

Cheers
Markus