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

Fixed CI #590

Merged
merged 1 commit into from Jun 17, 2019

Conversation

Projects
None yet
2 participants
@mikand
Copy link
Contributor

commented Jun 6, 2019

Fixed an issue introduced in a recent release of Azure Pipelines. It seems that the python running on the CI machines does not correctly identify the library path where libpython is with the LIBDIR config variable. This commit exposes an environment varible that allows the use to specift the python library path by hand.

Fixed CI
Fixed an issue introduced in a recent release of Azure Pipelines. It seems that the python running on the CI machines does not correctly identify the library path where libpython is with the LIBDIR config variable. This commit exposes an environment varible that allows the use to specift the python library path by hand.

@mikand mikand requested a review from marcogario Jun 6, 2019

@marcogario marcogario merged commit 9bbc049 into master Jun 17, 2019

50 checks passed

clahub All contributors have signed the Contributor License Agreement.
Details
pysmt.pysmt Build #20190606.6 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 fixing-azure branch Jun 17, 2019

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.