diff options
author | makaimann <makaim@stanford.edu> | 2020-03-11 17:03:29 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-03-11 17:03:29 -0700 |
commit | 6e69899967624b04c98c3d291693bae6d32401f6 (patch) | |
tree | 45b5798507e782a25fb2b7a540ee416151001389 /.travis.yml | |
parent | 67c730c76969d016b23b0c90b190be28fda9ac3f (diff) |
Add automatic Cython binding installation (#3933)
* Remove getIndices for Kinds
* Test importing pycvc4
* Distutils install for pycvc4
* Use full path for cvc4kinds prefix
* Remove zip_safe option (not needed for distutils)
* Automatically clean up setup.py intermediate files
* Rely on make install to install pycvc4
* Run make install when testing python bindings
* Fix: Check importing pycvc4 when python bindings are built
* Remove one -Wshadow warning for cython-generated files
* Put the fake kinds submodule in generated __init__.py
* Remove unnecessary file permission options in python CMakeLists
* Respect install prefix unless in a virtualenv
* Handle python2 print function
* Use VIRTUAL_ENV environment variable to check if in python virtualenv
* Add header and documentation to setup.py.in
* Capitalize CVC4 in PyCVC4Install
* Update src/api/python/CMakeLists.txt
Co-Authored-By: Mathias Preiner <mathias.preiner@gmail.com>
* Simplify CMakeLists for setup.py configuration
* Shorten virtualenv check with Mathias's suggestion
* Set TRAVIS_CVC4_PYTHON_BINDINGS to no in other builds
* minor: bash syntax fix
* Move pycvc4 import check to makeInstallCheck
* Include installed pycvc4 location on PYTHONPATH
* Better way to set PYTHONPATH
Co-authored-by: Mathias Preiner <mathias.preiner@gmail.com>
Co-authored-by: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Diffstat (limited to '.travis.yml')
-rw-r--r-- | .travis.yml | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/.travis.yml b/.travis.yml index 481a9b9a9..8297813da 100644 --- a/.travis.yml +++ b/.travis.yml @@ -82,6 +82,11 @@ script: make install -j2 echo -e "#include <cvc4/cvc4.h>\nint main() { CVC4::ExprManager em; return 0; }" > /tmp/test.cpp $CXX -std=c++11 /tmp/test.cpp -I install/include -L install/lib -lcvc4 -lcln || exit 1 + # set PYTHONPATH to include the directory containing pycvc4 module + export PYTHONPATH=$PYTHONPATH:$(dirname $(find ./install/ -name "pycvc4" -type d)) + if [[ "$TRAVIS_CVC4_PYTHON_BINDINGS" == "yes" ]]; then + $TRAVIS_PYTHON -c "import pycvc4" || exit 1 + fi ) } run() { @@ -108,12 +113,14 @@ matrix: env: - TRAVIS_CVC4=yes - TRAVIS_WITH_LFSC=yes + - TRAVIS_CVC4_PYTHON_BINDINGS=no - TRAVIS_CVC4_CONFIG="production --language-bindings=java --lfsc" - TRAVIS_PYTHON=python - compiler: gcc env: - TRAVIS_CVC4=yes - TRAVIS_WITH_LFSC=yes + - TRAVIS_CVC4_PYTHON_BINDINGS=no - TRAVIS_CVC4_CONFIG="debug --symfpu --lfsc --no-debug-symbols" - TRAVIS_PYTHON=python # Test python bindings @@ -121,12 +128,14 @@ matrix: env: - TRAVIS_CVC4=yes - TRAVIS_WITH_LFSC=yes + - TRAVIS_CVC4_PYTHON_BINDINGS=yes - TRAVIS_CVC4_CONFIG="production --python-bindings --python2" - TRAVIS_PYTHON=python - compiler: gcc env: - TRAVIS_CVC4=yes - TRAVIS_WITH_LFSC=yes + - TRAVIS_CVC4_PYTHON_BINDINGS=yes - TRAVIS_CVC4_CONFIG="production --python-bindings --python3" - TRAVIS_PYTHON=python3 # @@ -135,6 +144,7 @@ matrix: env: - TRAVIS_CVC4=yes - TRAVIS_WITH_LFSC=yes + - TRAVIS_CVC4_PYTHON_BINDINGS=no - TRAVIS_CVC4_CONFIG="debug --symfpu --cln --gpl --no-debug-symbols --no-proofs" - TRAVIS_PYTHON=python notifications: |