From: Luca Padovani <luca.padovani@unito.it>
Date: Thu, 18 Jan 2001 13:55:34 +0000 (+0000)
Subject: Added Files:
X-Git-Tag: no-uwobo~23
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=844c5f915d4d22860f14be656321bf7218c036fa;p=helm.git

Added Files:
	helm-config.in
---

diff --git a/helm/configuration/helm-config.in b/helm/configuration/helm-config.in
new file mode 100644
index 000000000..bfc257190
--- /dev/null
+++ b/helm/configuration/helm-config.in
@@ -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
+