From addc88e19faf33d0c8253bbbf85bab723945bebc Mon Sep 17 00:00:00 2001 From: Achim Gsell Date: Wed, 12 Oct 2016 15:22:24 +0200 Subject: [PATCH] configure - simple script to setup configuration --- configure | 42 ++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 42 insertions(+) create mode 100755 configure diff --git a/configure b/configure new file mode 100755 index 0000000..61f3718 --- /dev/null +++ b/configure @@ -0,0 +1,42 @@ +#!/bin/bash + +declare prefix='/opt/psi' +declare distfiles='/afs/psi.ch/software/Pmodules/distfiles' + +print_usage() { + echo "${0##*/} [OPTS]" 1>&2 + exit 1 +} + +while (( $# > 0 )); do + case $1 in + --prefix=* ) + prefix=${1#*=} + ;; + --distfiles=* ) + distfile=${1#*=} + ;; + --help | -h | -\? ) + print_usage + exit 1 + ;; + -* ) + echo "$1: invalid option." 1>&2 + exit 1 + ;; + * ) + echo "$1: invalid argument." 1>&2 + exit 1 + ;; + esac + shift +done + +echo "PMODULES_ROOT=$prefix" +echo "PMODULES_DISTFILESDIR=$distfiles" + +sed_cmd="s:@PMODULES_ROOT@:${prefix}:g;" +sed_cmd+="s:@PMODULES_DISTFILESDIR@:${distfiles}:g;" + +sed "${sed_cmd}" "config/environment.bash.in" > "config/environment.bash" +