Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Define main function for pysmt as module #573

Merged
merged 1 commit into from Apr 17, 2019

Conversation

Projects
None yet
2 participants
@marcogario
Copy link
Contributor

commented Apr 13, 2019

Two commands are defined as main function of pysmt

python -m pysmt install
and
python -m pysmt shell

This removes the bin alias for pysmt-shell, but preserves pysmt-install.

@marcogario marcogario requested a review from mikand Apr 13, 2019

@marcogario marcogario added this to the 0.8.1 milestone Apr 13, 2019

@marcogario marcogario self-assigned this Apr 13, 2019

@mikand

mikand approved these changes Apr 16, 2019

Copy link
Contributor

left a comment

Looks great to me. One question, shall we port the CI to this new style of invocation of install.py or we keep the current state?

@marcogario

This comment has been minimized.

Copy link
Contributor Author

commented Apr 17, 2019

I would keep as is. The idea was not to replace pysmt-install, but to make this more convenient for certain use cases. I find that doing python -m nose is typically more reliable than hoping that nosetest in my path is the right version of python.

@marcogario marcogario merged commit 529f896 into master Apr 17, 2019

50 checks passed

clahub All contributors have signed the Contributor License Agreement.
Details
pysmt.pysmt Build #20190413.7 succeeded
Details
pysmt.pysmt (OSX10_13 Py27Msat) OSX10_13 Py27Msat succeeded
Details
pysmt.pysmt (OSX10_13 Py27NoSolver) OSX10_13 Py27NoSolver succeeded
Details
pysmt.pysmt (OSX10_13 Py27Yices) OSX10_13 Py27Yices succeeded
Details
pysmt.pysmt (OSX10_13 Py27Z3) OSX10_13 Py27Z3 succeeded
Details
pysmt.pysmt (OSX10_13 Py37Msat) OSX10_13 Py37Msat succeeded
Details
pysmt.pysmt (OSX10_13 Py37NoSolver) OSX10_13 Py37NoSolver succeeded
Details
pysmt.pysmt (OSX10_13 Py37Yices) OSX10_13 Py37Yices succeeded
Details
pysmt.pysmt (OSX10_13 Py37Z3) OSX10_13 Py37Z3 succeeded
Details
pysmt.pysmt (Ubuntu16All Py27All) Ubuntu16All Py27All succeeded
Details
pysmt.pysmt (Ubuntu16All Py27Cython) Ubuntu16All Py27Cython succeeded
Details
pysmt.pysmt (Ubuntu16All Py27CythonGMPy) Ubuntu16All Py27CythonGMPy succeeded
Details
pysmt.pysmt (Ubuntu16All Py27GMPy) Ubuntu16All Py27GMPy succeeded
Details
pysmt.pysmt (Ubuntu16All Py37All) Ubuntu16All Py37All succeeded
Details
pysmt.pysmt (Ubuntu16All Py37Cython) Ubuntu16All Py37Cython succeeded
Details
pysmt.pysmt (Ubuntu16All Py37CythonGMPy) Ubuntu16All Py37CythonGMPy succeeded
Details
pysmt.pysmt (Ubuntu16All Py37GMPy) Ubuntu16All Py37GMPy succeeded
Details
pysmt.pysmt (Ubuntu16Py27 Py27Bdd) Ubuntu16Py27 Py27Bdd succeeded
Details
pysmt.pysmt (Ubuntu16Py27 Py27Btor) Ubuntu16Py27 Py27Btor succeeded
Details
pysmt.pysmt (Ubuntu16Py27 Py27CVC4) Ubuntu16Py27 Py27CVC4 succeeded
Details
pysmt.pysmt (Ubuntu16Py27 Py27Msat) Ubuntu16Py27 Py27Msat succeeded
Details
pysmt.pysmt (Ubuntu16Py27 Py27MsatWrap) Ubuntu16Py27 Py27MsatWrap succeeded
Details
pysmt.pysmt (Ubuntu16Py27 Py27NoSolver) Ubuntu16Py27 Py27NoSolver succeeded
Details
pysmt.pysmt (Ubuntu16Py27 Py27Picosat) Ubuntu16Py27 Py27Picosat succeeded
Details
pysmt.pysmt (Ubuntu16Py27 Py27Yices) Ubuntu16Py27 Py27Yices succeeded
Details
pysmt.pysmt (Ubuntu16Py27 Py27Z3) Ubuntu16Py27 Py27Z3 succeeded
Details
pysmt.pysmt (Ubuntu16Py27 Py27Z3Wrap) Ubuntu16Py27 Py27Z3Wrap succeeded
Details
pysmt.pysmt (Ubuntu16Py37 Py37Bdd) Ubuntu16Py37 Py37Bdd succeeded
Details
pysmt.pysmt (Ubuntu16Py37 Py37Btor) Ubuntu16Py37 Py37Btor succeeded
Details
pysmt.pysmt (Ubuntu16Py37 Py37CVC4) Ubuntu16Py37 Py37CVC4 succeeded
Details
pysmt.pysmt (Ubuntu16Py37 Py37Msat) Ubuntu16Py37 Py37Msat succeeded
Details
pysmt.pysmt (Ubuntu16Py37 Py37MsatWrap) Ubuntu16Py37 Py37MsatWrap succeeded
Details
pysmt.pysmt (Ubuntu16Py37 Py37NoSolver) Ubuntu16Py37 Py37NoSolver succeeded
Details
pysmt.pysmt (Ubuntu16Py37 Py37Picosat) Ubuntu16Py37 Py37Picosat succeeded
Details
pysmt.pysmt (Ubuntu16Py37 Py37Yices) Ubuntu16Py37 Py37Yices succeeded
Details
pysmt.pysmt (Ubuntu16Py37 Py37Z3) Ubuntu16Py37 Py37Z3 succeeded
Details
pysmt.pysmt (Ubuntu16Py37 Py37Z3Wrap) Ubuntu16Py37 Py37Z3Wrap succeeded
Details
pysmt.pysmt (Ubuntu16PyPy2 PyPy2MsatWrap) Ubuntu16PyPy2 PyPy2MsatWrap succeeded
Details
pysmt.pysmt (Ubuntu16PyPy2 PyPy2NoSolver) Ubuntu16PyPy2 PyPy2NoSolver succeeded
Details
pysmt.pysmt (Ubuntu16PyPy2 PyPy2Z3Wrap) Ubuntu16PyPy2 PyPy2Z3Wrap succeeded
Details
pysmt.pysmt (Ubuntu16PyPy3 PyPy3MsatWrap) Ubuntu16PyPy3 PyPy3MsatWrap succeeded
Details
pysmt.pysmt (Ubuntu16PyPy3 PyPy3NoSolver) Ubuntu16PyPy3 PyPy3NoSolver succeeded
Details
pysmt.pysmt (Ubuntu16PyPy3 PyPy3Z3Wrap) Ubuntu16PyPy3 PyPy3Z3Wrap succeeded
Details
pysmt.pysmt (Win2016 Py27Msat) Win2016 Py27Msat succeeded
Details
pysmt.pysmt (Win2016 Py27NoSolver) Win2016 Py27NoSolver succeeded
Details
pysmt.pysmt (Win2016 Py27Z3) Win2016 Py27Z3 succeeded
Details
pysmt.pysmt (Win2016 Py37Msat) Win2016 Py37Msat succeeded
Details
pysmt.pysmt (Win2016 Py37NoSolver) Win2016 Py37NoSolver succeeded
Details
pysmt.pysmt (Win2016 Py37Z3) Win2016 Py37Z3 succeeded
Details

@marcogario marcogario deleted the i572/pysmt_module branch Apr 17, 2019

@marcogario marcogario referenced this pull request Apr 17, 2019

Closed

Python -m pysmt install #572

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.