Permalink
Browse files

CI: Enable build with and without cython

  • Loading branch information...
marcogario committed Aug 13, 2017
1 parent 735b44d commit e0f080b6453e19e1e7215525fad7357974fd8ba5
Showing with 3 additions and 2 deletions.
  1. +2 −1 .travis.yml
  2. +1 −1 ci/travis_install.sh
View
@@ -52,7 +52,8 @@ env:
matrix:
- PYSMT_SOLVER="all" PYSMT_GMPY="TRUE"
- PYSMT_SOLVER="all" PYSMT_GMPY="FALSE"
- PYSMT_SOLVER="None" PYSMT_GMPY="FALSE"
- PYSMT_SOLVER="None" PYSMT_GMPY="FALSE" PYSMT_CYTHON="TRUE"
- PYSMT_SOLVER="None" PYSMT_GMPY="FALSE" PYSMT_CYTHON="FALSE"
- PYSMT_SOLVER="msat" PYSMT_GMPY="FALSE"
- PYSMT_SOLVER="z3" PYSMT_GMPY="FALSE"
- PYSMT_SOLVER="cvc4" PYSMT_GMPY="FALSE"
View
@@ -32,10 +32,10 @@ then
fi
pip install six
pip install cython;
if [ "${PYSMT_SOLVER}" == "all" ] || [ "${PYSMT_SOLVER}" == "btor" ];
then
pip install cython;
pip install python-coveralls;
fi

0 comments on commit e0f080b

Please sign in to comment.