1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
|
--- a/src/api/python/CMakeLists.txt
+++ b/src/api/python/CMakeLists.txt
@@ -175,30 +175,30 @@ python_extension_module(cvc5_python_base
# Copy the pythonic API to the right place. It does not come with its own
# installation routine and consists only of a few files that need to go to
# the right place.
-find_package(CVC5PythonicAPI)
+#find_package(CVC5PythonicAPI)
-set(COPIED_PYTHONIC_FILES
- "${CMAKE_CURRENT_BINARY_DIR}/cvc5/pythonic/__init__.py"
- "${CMAKE_CURRENT_BINARY_DIR}/cvc5/pythonic/cvc5_pythonic.py"
- "${CMAKE_CURRENT_BINARY_DIR}/cvc5/pythonic/cvc5_pythonic_printer.py"
-)
+#set(COPIED_PYTHONIC_FILES
+# "${CMAKE_CURRENT_BINARY_DIR}/cvc5/pythonic/__init__.py"
+# "${CMAKE_CURRENT_BINARY_DIR}/cvc5/pythonic/cvc5_pythonic.py"
+# "${CMAKE_CURRENT_BINARY_DIR}/cvc5/pythonic/cvc5_pythonic_printer.py"
+#)
-add_custom_command(
- OUTPUT
- ${COPIED_PYTHONIC_FILES}
- COMMAND
- ${CMAKE_COMMAND} -E copy_directory
- "${CVC5PythonicAPI_BASEDIR}/cvc5_pythonic_api"
- "${CMAKE_CURRENT_BINARY_DIR}/cvc5/pythonic"
+#add_custom_command(
+# OUTPUT
+# ${COPIED_PYTHONIC_FILES}
+# COMMAND
+# ${CMAKE_COMMAND} -E copy_directory
+# "${CVC5PythonicAPI_BASEDIR}/cvc5_pythonic_api"
+# "${CMAKE_CURRENT_BINARY_DIR}/cvc5/pythonic"
# Remove the license of the Pythonic API from the package's source files.
# The license file is included in the package's dist-info dir by setup()
- COMMAND
- ${CMAKE_COMMAND} -E remove
- "${CMAKE_CURRENT_BINARY_DIR}/cvc5/pythonic/LICENSE.txt"
- DEPENDS cvc5_python_base CVC5PythonicAPI
-)
+# COMMAND
+# ${CMAKE_COMMAND} -E remove
+# "${CMAKE_CURRENT_BINARY_DIR}/cvc5/pythonic/LICENSE.txt"
+# DEPENDS cvc5_python_base CVC5PythonicAPI
+#)
-add_custom_target(cvc5_python_api ALL DEPENDS ${COPIED_PYTHONIC_FILES})
+#add_custom_target(cvc5_python_api ALL DEPENDS ${COPIED_PYTHONIC_FILES})
set(LICENSE_FILES
"${CMAKE_BINARY_DIR}/COPYING"
--- a/src/api/python/setup.py.in
+++ b/src/api/python/setup.py.in
@@ -29,7 +29,7 @@ setup(name='cvc5',
long_description='Python bindings for cvc5 ' + CVC5_VERSION,
url='https://github.com/cvc5/cvc5',
zip_safe=False,
- packages=['cvc5', 'cvc5.pythonic'],
+ packages=['cvc5'], #, 'cvc5.pythonic'],
package_dir={'':'${CMAKE_CURRENT_BINARY_DIR}'},
package_data={'': ['cvc5_python_base*.so']},
extras_require={'test': ['pytest']})
|
