File: debian-python-install.patch

package info (click to toggle)
cvc5 1.3.2-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 87,260 kB
  • sloc: cpp: 383,850; java: 12,207; python: 12,090; sh: 5,679; ansic: 4,729; lisp: 763; perl: 208; makefile: 38
file content (11 lines) | stat: -rw-r--r-- 486 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
 
--- a/src/api/python/CMakeLists.txt
+++ b/src/api/python/CMakeLists.txt
@@ -261,7 +261,7 @@
     # This is important for component-specific installations
     # where the prefix may change (e.g., using
     # 'cmake --install build --component python-api --prefix ./new-prefix').
-    set(INSTALL_CMD "${INSTALL_CMD} --prefix \${CMAKE_INSTALL_PREFIX}")
+    set(INSTALL_CMD "${INSTALL_CMD} --root \$ENV{DESTDIR}")
   endif()
 
   install(CODE "execute_process(COMMAND \${CMAKE_COMMAND}