Let's make this a package

hwayne / tlacli

A script for running TLA+/TLC from the command line

MIT License

81 stars 4 forks source link

Let's make this a package #3

Closed hwayne closed 4 years ago

hwayne commented 4 years ago

So that people don't have to navigate to the folder every dang time

danielcompton commented 4 years ago

Not sure how hard it would be, but it would be handy to have a Homebrew package based on the Python package. This would be even more 'safe' for me to install. Then I don't need to worry about which Python I'm using, or conflicting packages, or any of the other issues with installing Python packages to the system Python.

ajdavis commented 4 years ago

I can help making this a PyPI package.

hwayne commented 4 years ago

So uh, I was trying to fix the tests and I accidentally write a setup.py file

I guess the good news is this is going to be on PyPI a lot sooner than I expected

Kavec commented 4 years ago

https://github.com/python-poetry/poetry might be worth looking in to, as well.

Upside:

Ejects/hides a lot of the historical cruft of setup.py/requirement*.txt/virtualenvs/&c in favor of PEP 518 pyproject.toml
Does the upload-to-pypi step out of the box

Downside:

Relies on something like pyenv or tox to actually manage the installed python versions

—

I’m a big fan of this either way— most of my TLA+ stuff is done via the vscode extension. Being able to tell team members to install a package to interact with specs from the command line is much more feasible than asking them to configure a UI that I don’t spend time with myself.

hwayne commented 4 years ago

Oops broke the package

hwayne commented 4 years ago

Fixed I think???

hwayne commented 4 years ago

This is NOT gonna look good in the Thought Leader Annual Reviews

hwayne commented 4 years ago

WE DID IT https://pypi.org/project/tlacli/0.0.1/

ajdavis commented 4 years ago

Marvelous!