diff options
Diffstat (limited to 'testing/nimrod/prefix-install.patch')
| -rw-r--r-- | testing/nimrod/prefix-install.patch | 38 |
1 files changed, 38 insertions, 0 deletions
diff --git a/testing/nimrod/prefix-install.patch b/testing/nimrod/prefix-install.patch new file mode 100644 index 0000000000..b4581ffb5b --- /dev/null +++ b/testing/nimrod/prefix-install.patch @@ -0,0 +1,38 @@ +diff --git a/tools/niminst/install.tmpl b/tools/niminst/install.tmpl +index 437e13dfb5e9..786746b4f126 100644 +--- a/tools/niminst/install.tmpl ++++ b/tools/niminst/install.tmpl +@@ -28,28 +28,12 @@ if [ $# -eq 1 ] ; then + echo "sh deinstall.sh DIR" + exit 1 + ;; +- "/usr/bin") +- bindir=/usr/bin +- configdir=/etc +- libdir=/usr/lib/?proj +- docdir=/usr/share/?proj/doc +- datadir=/usr/share/?proj/data +- ;; +- "/usr/local/bin") +- bindir=/usr/local/bin +- configdir=/etc +- libdir=/usr/local/lib/?proj +- docdir=/usr/local/share/?proj/doc +- datadir=/usr/local/share/?proj/data +- ;; + *) +- bindir="$1/?proj/bin" +- configdir="$1/?proj/config" +- libdir="$1/?proj/lib" +- docdir="$1/?proj/doc" +- datadir="$1/?proj/data" +- +- mkdir -p $1/?proj ++ bindir="$1"/usr/bin ++ configdir="$1"/etc ++ libdir="$1"/usr/lib/?proj ++ docdir="$1"/usr/share/doc/?proj ++ datadir="$1"/usr/share/?proj/data + mkdir -p $bindir + mkdir -p $configdir + ;; |