From 20d40f4a8eeb7d41dd8004e037a760510d8fc0b0 Mon Sep 17 00:00:00 2001
From: "Joachim Wuttke (home)" <j.wuttke@fz-juelich.de>
Date: Sun, 10 May 2015 12:44:34 +0200
Subject: [PATCH] patch by Antti: configurable installation directory for
frida.ini
---
pub/share/CMakeLists.txt | 3 ++-
pub/share/frida.ini | 8 --------
pub/share/frida.ini.in | 8 ++++++++
3 files changed, 10 insertions(+), 9 deletions(-)
delete mode 100644 pub/share/frida.ini
create mode 100644 pub/share/frida.ini.in
diff --git a/pub/share/CMakeLists.txt b/pub/share/CMakeLists.txt
index b95d1cb8..496c0e21 100644
--- a/pub/share/CMakeLists.txt
+++ b/pub/share/CMakeLists.txt
@@ -1,3 +1,4 @@
-SET(share_files frida.ini g3.ps wups11a.ps gnuplot-default-symbols.eps)
+CONFIGURE_FILE(frida.ini.in frida.ini)
+SET(share_files ${CMAKE_CURRENT_BINARY_DIR}/frida.ini g3.ps wups11a.ps gnuplot-default-symbols.eps)
INSTALL(FILES ${share_files} DESTINATION ${CMAKE_INSTALL_PREFIX}/share/frida)
diff --git a/pub/share/frida.ini b/pub/share/frida.ini
deleted file mode 100644
index c62e18ec..00000000
--- a/pub/share/frida.ini
+++ /dev/null
@@ -1,8 +0,0 @@
-pop($silent=1)
-psdir="~/gnew/"
-pshead="/usr/local/share/frida/g3.ps"
-psdict="/usr/local/share/frida/wups11a.ps"
-psgsym="/usr/local/share/frida/gnuplot-default-symbols.eps"
-FK01="pv"
-FK02="pn"
-undef("$silent")
\ No newline at end of file
diff --git a/pub/share/frida.ini.in b/pub/share/frida.ini.in
new file mode 100644
index 00000000..2c6e0013
--- /dev/null
+++ b/pub/share/frida.ini.in
@@ -0,0 +1,8 @@
+pop($silent=1)
+psdir="~/gnew/"
+pshead="${CMAKE_INSTALL_PREFIX}/share/frida/g3.ps"
+psdict="${CMAKE_INSTALL_PREFIX}/share/frida/wups11a.ps"
+psgsym="${CMAKE_INSTALL_PREFIX}/share/frida/gnuplot-default-symbols.eps"
+FK01="pv"
+FK02="pn"
+undef("$silent")
\ No newline at end of file
--
GitLab