]> matita.cs.unibo.it Git - helm.git/blob - helm/configuration/helm-config.in
bugfix: "LPAREN" vs LPAREN
[helm.git] / helm / configuration / helm-config.in
1
2 usage()
3 {
4         cat <<EOF
5 Usage: helm-config [OPTIONS]
6 Options:
7         [--version]
8         [--prefix]
9         [--exec-prefix]
10         [--bin-dir]
11         [--lib-dir]
12         [--etc-dir]
13         [--share-dir]
14         [--var-dir]
15         [--tmp-dir]
16         [--library-dir]
17         [--servers]
18         [--uris-dbm]
19         [--dtd-dir]
20         [--style-dir]
21 EOF
22         exit $1
23 }
24
25 if test $# -eq 0; then
26         usage 1 1>&2
27 fi
28
29 while test $# -gt 0; do
30   case "$1" in
31   -*=*) optarg=`echo "$1" | sed 's/[-_a-zA-Z0-9]*=//'` ;;
32   *) optarg= ;;
33   esac
34
35   case $1 in
36     --version)
37       echo @VERSION@
38       ;;
39     --prefix)
40       echo @RESOLVED_PREFIX@
41       ;;
42     --exec-prefix)
43       echo @RESOLVED_EXEC_PREFIX@
44       ;;
45     --bin-dir)
46       echo @HELM_BIN_DIR@
47       ;;
48     --lib-dir)
49       echo @HELM_LIB_DIR@
50       ;;
51     --etc-dir)
52       echo @HELM_ETC_DIR@
53       ;;
54     --share-dir)
55       echo @HELM_SHARE_DIR@
56       ;;
57     --var-dir)
58       echo @HELM_VAR_DIR@
59       ;;
60     --tmp-dir)
61       echo @HELM_TMP_DIR@
62       ;;
63     --library-dir)
64       echo @HELM_LIBRARY_DIR@
65       ;;
66     --servers)
67       echo @HELM_SERVERS_FILE@
68       ;;
69     --uris-dbm)
70       echo @HELM_URIS_DBM@
71       ;;
72     --dtd-dir)
73       echo @HELM_DTD_DIR@
74       ;;
75     --style-dir)
76       echo @HELM_STYLE_DIR@
77       ;;
78     *)
79       usage 1 1>&2
80       ;;
81   esac
82   shift
83 done
84