diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2024-10-07 17:10:58 -0700 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2024-10-07 20:44:40 -0700 |
| commit | 5c1f797943b07bb6cfae24800302cf16576826d1 (patch) | |
| tree | a7c127bd6c6ee448c744fa4ab11adabc15a3ed08 /math/py-z3-solver/files/patch-CMakeLists.txt | |
| parent | x11-fm/deforaos-browser: Avoid conflicts, pet linters (diff) | |
math/py-z3-solver: update 4.8.17 → 4.13.2
This fixes the problem from bug#280689.
PR: 280689
Diffstat (limited to 'math/py-z3-solver/files/patch-CMakeLists.txt')
| -rw-r--r-- | math/py-z3-solver/files/patch-CMakeLists.txt | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/math/py-z3-solver/files/patch-CMakeLists.txt b/math/py-z3-solver/files/patch-CMakeLists.txt new file mode 100644 index 000000000000..670b2e2e4e50 --- /dev/null +++ b/math/py-z3-solver/files/patch-CMakeLists.txt @@ -0,0 +1,30 @@ +--- CMakeLists.txt.orig 2024-10-07 22:51:28 UTC ++++ CMakeLists.txt +@@ -1,4 +1,27 @@ message(STATUS "Emitting rules to build Z3 python bind + message(STATUS "Emitting rules to build Z3 python bindings") ++ ++## portion of src/CMakeLists.txt ++set(Z3_API_HEADER_FILES_TO_SCAN ++ z3_api.h ++ z3_ast_containers.h ++ z3_algebraic.h ++ z3_polynomial.h ++ z3_rcf.h ++ z3_fixedpoint.h ++ z3_optimization.h ++ z3_fpa.h ++ z3_spacer.h ++) ++set(Z3_FULL_PATH_API_HEADER_FILES_TO_SCAN "") ++foreach (header_file ${Z3_API_HEADER_FILES_TO_SCAN}) ++ set(full_path_api_header_file "${CMAKE_CURRENT_SOURCE_DIR}/api/${header_file}") ++ list(APPEND Z3_FULL_PATH_API_HEADER_FILES_TO_SCAN "${full_path_api_header_file}") ++ if (NOT EXISTS "${full_path_api_header_file}") ++ message(FATAL_ERROR "API header file \"${full_path_api_header_file}\" does not exist") ++ endif() ++endforeach() ++ ++ + ############################################################################### + # Add target to build python bindings for the build directory + ############################################################################### |