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 /src/api/python/genkinds.py | |
| 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 'src/api/python/genkinds.py')
| -rwxr-xr-x | src/api/python/genkinds.py | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/api/python/genkinds.py b/src/api/python/genkinds.py index 1e22875e7..4fe7347e6 100755 --- a/src/api/python/genkinds.py +++ b/src/api/python/genkinds.py @@ -95,8 +95,6 @@ cdef class kind: # create a kinds submodule kinds = ModuleType('kinds') -# fake a submodule for dotted imports, e.g. from pycvc4.kinds import * -sys.modules['%s.%s'%(__name__, kinds.__name__)] = kinds kinds.__file__ = kinds.__name__ + ".py" """ |