[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [tlaplus] building tlaplus from source fails
On Friday, November 16, 2018 at 2:05:54 PM UTC-5, Markus Alexander Kuppe wrote:
> On 15.11.18 23:02, 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:
> 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/
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.