File: debian-python-install.patch

package info (click to toggle)
cvc5 1.1.2-3
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 80,856 kB
  • sloc: cpp: 339,634; java: 10,248; python: 10,063; sh: 6,726; ansic: 1,622; lisp: 763; perl: 207; makefile: 33
file content (13 lines) | stat: -rw-r--r-- 469 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
12
13
 
--- a/src/api/python/CMakeLists.txt
+++ b/src/api/python/CMakeLists.txt
@@ -248,8 +248,9 @@ set(INSTALL_CMD
 # an .egg distribution and --record records the list of installed files
 if ("${IN_VIRTUALENV}" STREQUAL "NO")
   set(INSTALL_CMD "${INSTALL_CMD}
-          --prefix=${CMAKE_INSTALL_PREFIX}
+          --root=\$ENV{DESTDIR}
           --single-version-externally-managed
+          --install-layout=deb
           --record=cvc5-installed-files.txt")
 endif()