Add python subdirectory to include dirs

stanford-centaur · Feb 16, 2025 · 4fa6cef · 4fa6cef
1 parent 05ec9b4
commit 4fa6cef
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/python/setup.py.in b/python/setup.py.in
@@ -88,7 +88,7 @@ if not os.path.isfile(os.path.join('smt_switch', ext_filename)):
         "libraries": ["smt-switch"] + [f"smt-switch-{solver}" for solver in solver_libs.keys()],
         "library_dirs": [PROJECT_BINARY_DIR, f"{PROJECT_BINARY_DIR}/python"] + [f"{PROJECT_BINARY_DIR}/{solver}" for solver in solver_libs],
         "runtime_library_dirs": [PROJECT_BINARY_DIR, f"{PROJECT_BINARY_DIR}/python"] + [f"{PROJECT_BINARY_DIR}/{solver}" for solver in solver_libs],
-        "include_dirs": [f"{PROJECT_SOURCE_DIR}/include", PROJECT_BINARY_DIR] + [f"{PROJECT_SOURCE_DIR}/{solver}/include" for solver in solver_libs],
+        "include_dirs": [f"{PROJECT_SOURCE_DIR}/include", PROJECT_BINARY_DIR, f"{PROJECT_BINARY_DIR}/python"] + [f"{PROJECT_SOURCE_DIR}/{solver}/include" for solver in solver_libs],
         "language": "c++",
         "extra_compile_args": ["-std=c++17"]
     }