From 5c1f797943b07bb6cfae24800302cf16576826d1 Mon Sep 17 00:00:00 2001
From: Yuri Victorovich <yuri@FreeBSD.org>
Date: Mon, 7 Oct 2024 17:10:58 -0700
Subject: =?UTF-8?q?math/py-z3-solver:=20update=204.8.17=20=E2=86=92=204.13?=
 =?UTF-8?q?.2?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

This fixes the problem from bug#280689.

PR:		280689
---
 math/py-z3-solver/files/patch-CMakeLists.txt | 30 ++++++++++++++++++++++++++++
 1 file changed, 30 insertions(+)
 create mode 100644 math/py-z3-solver/files/patch-CMakeLists.txt

(limited to 'math/py-z3-solver/files/patch-CMakeLists.txt')

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
+ ###############################################################################
-- 
cgit v1.2.3