search

OpenMath / OMSTD

The OpenMath Standard (starting with OpenMath 2)
9 stars 5 forks source link

Update install-jars script #68

Closed tkw1536 closed 5 years ago

tkw1536 commented 5 years ago

This PR adds a warning to the install-jars script to inform the caller when a specific jar file already exists. This should prevent issues like #66 in the future.

tkw1536 commented 5 years ago

/cc @kohlhase

tkw1536 commented 5 years ago

I have no idea why the CI fails, I haven't changed anything apart from that script.

davidcarlisle commented 5 years ago

I can look this evening probably

On Fri, 5 Jul 2019 at 12:55, Tom Wiesing notifications@github.com wrote:

I have no idea why the CI fails, I haven't changed anything apart from that script.

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/OpenMath/OMSTD/pull/68?email_source=notifications&email_token=AAJVYATW43SSQGI474N6GJDP54ZCLA5CNFSM4H6KO4E2YY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGODZJK2TY#issuecomment-508734799, or mute the thread https://github.com/notifications/unsubscribe-auth/AAJVYAWN24DG3Z52BOAJTODP54ZCLANCNFSM4H6KO4EQ .

davidcarlisle commented 5 years ago

the travis failure is unrelated to the PR (it fails on master too) it's a change in latex, I' have identified the issue, will fix in a bit (the standard is run with an eccentric catcode regime)