blob: ace9ac4308b8f6ede64f30345f397dd72a88e1af (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
diff -Naur package.orig/CMakeLists.txt package.new/CMakeLists.txt
--- package.orig/CMakeLists.txt
+++ package.new/CMakeLists.txt
@@ -862,6 +862,16 @@
set(VAMPIRE_BINARY_REV_COUNT "_${GIT_REV_COUNT}")
endif()
+set(VAMPIRE_AUR_GIT_COMMIT_DESCRIPTION "" CACHE STRING "Overwrite the automatically generated commit description")
+set(VAMPIRE_BINARY_BUILD "")
+set(VAMPIRE_BINARY_STATIC "")
+set(VAMPIRE_BINARY_Z3 "")
+set(VAMPIRE_BINARY_HASH "")
+set(VAMPIRE_BINARY_BRANCH "")
+set(VAMPIRE_BINARY_REV_COUNT "")
+set(GIT_COMMIT_DESCRIPTION "${VAMPIRE_AUR_GIT_COMMIT_DESCRIPTION}")
+target_compile_options(vampire PUBLIC "-fmacro-prefix-map=${CMAKE_SOURCE_DIR}=.")
+
################# set binary name #######################
set(VAMPIRE_BINARY "vampire${VAMPIRE_BINARY_Z3}${VAMPIRE_BINARY_BUILD}${VAMPIRE_BINARY_STATIC}${VAMPIRE_BINARY_BRANCH}${VAMPIRE_BINARY_REV_COUNT}")
message(STATUS "Setting binary name to " "${VAMPIRE_BINARY}")
|