]> matita.cs.unibo.it Git - helm.git/commitdiff
Added Files:
authorLuca Padovani <luca.padovani@unito.it>
Thu, 18 Jan 2001 13:55:34 +0000 (13:55 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Thu, 18 Jan 2001 13:55:34 +0000 (13:55 +0000)
helm-config.in

helm/configuration/helm-config.in [new file with mode: 0644]

diff --git a/helm/configuration/helm-config.in b/helm/configuration/helm-config.in
new file mode 100644 (file)
index 0000000..bfc2571
--- /dev/null
@@ -0,0 +1,84 @@
+
+usage()
+{
+       cat <<EOF
+Usage: helm-config [OPTIONS]
+Options:
+       [--version]
+       [--prefix]
+       [--exec-prefix]
+       [--bin-dir]
+       [--lib-dir]
+       [--etc-dir]
+       [--share-dir]
+       [--var-dir]
+       [--tmp-dir]
+       [--library-dir]
+       [--servers]
+       [--uris-dbm]
+       [--dtd-dir]
+       [--style-dir]
+EOF
+       exit $1
+}
+
+if test $# -eq 0; then
+       usage 1 1>&2
+fi
+
+while test $# -gt 0; do
+  case "$1" in
+  -*=*) optarg=`echo "$1" | sed 's/[-_a-zA-Z0-9]*=//'` ;;
+  *) optarg= ;;
+  esac
+
+  case $1 in
+    --version)
+      echo @HELM_VERSION@
+      ;;
+    --prefix)
+      echo @RESOLVED_PREFIX@
+      ;;
+    --exec-prefix)
+      echo @RESOLVED_EXEC_PREFIX@
+      ;;
+    --bin-dir)
+      echo @HELM_BIN_DIR@
+      ;;
+    --lib-dir)
+      echo @HELM_LIB_DIR@
+      ;;
+    --etc-dir)
+      echo @HELM_ETC_DIR@
+      ;;
+    --share-dir)
+      echo @HELM_SHARE_DIR@
+      ;;
+    --var-dir)
+      echo @HELM_VAR_DIR@
+      ;;
+    --tmp-dir)
+      echo @HELM_TMP_DIR@
+      ;;
+    --library-dir)
+      echo @HELM_LIBRARY_DIR@
+      ;;
+    --servers)
+      echo @HELM_SERVERS_FILE@
+      ;;
+    --uris-dbm)
+      echo @HELM_URIS_DBM@
+      ;;
+    --dtd-dir)
+      echo @HELM_DTD_DIR@
+      ;;
+    --style-dir)
+      echo @HELM_STYLE_DIR@
+      ;;
+    *)
+      usage 1 1>&2
+      ;;
+  esac
+  shift
+done
+