search

hwayne / tlacli

A script for running TLA+/TLC from the command line
MIT License
81 stars 4 forks source link

be a bit more lenient on specfile requirements #1

Closed apghero closed 4 years ago

apghero commented 4 years ago

This doesn't remove the need to be in the current working directory, but does remove the path if it references the same file as in cwd. Will also fail if the file doesn't actually exist.

apghero commented 4 years ago

sheesh! They were all commented out because I don't have Python 3.8, and I failed to, within a couple of minutes, create a conditional to do the same thing for Python < 3.8. 🥇

hwayne commented 4 years ago

I knew python 3.8 was a bad idea >_>

I got a way to make it 3.6 compatible, I'll do that today

On Wed, Jan 15, 2020, 9:41 AM Andrew Gwozdziewycz notifications@github.com wrote:

sheesh! They were all commented out because I don't have Python 3.8, and I failed to, within a couple of minutes, create a conditional to do the same thing for Python < 3.8. 🥇

— You are receiving this because your review was requested. Reply to this email directly, view it on GitHub https://github.com/hwayne/tlacli/pull/1?email_source=notifications&email_token=AAUJO5B474CBBQ5IUZKHK4DQ54VA5A5CNFSM4KG3VML2YY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOEJAX5MQ#issuecomment-574717618, or unsubscribe https://github.com/notifications/unsubscribe-auth/AAUJO5HGLBTG6AYMTCXALR3Q54VA5ANCNFSM4KG3VMLQ .

hwayne commented 4 years ago

Okay should work as back as 3.7, probs 3.6 but haven't checked