annotate octave-config.in @ 4444:9a2206207402

[project @ 2003-07-07 20:04:53 by jwe]
author jwe
date Mon, 07 Jul 2003 20:05:46 +0000
parents aa345723c698
children e2c91da0aa16
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
3845
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
1 #! /bin/sh -
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
2 #
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
3 # octave-config - reports some configuration values for Octave
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
4 #
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
5 # Rafael Laboissiere <rafael@laboissiere.net>
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
6 # This script is in the public domain
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
7
4443
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
8 CANONICAL_HOST_TYPE="%OCTAVE_CANONICAL_HOST_TYPE%"
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
9 DEFAULT_PAGER="%OCTAVE_DEFAULT_PAGER%"
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
10 ARCHLIBDIR="%OCTAVE_ARCHLIBDIR%"
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
11 BINDIR="%OCTAVE_BINDIR%"
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
12 DATADIR="%OCTAVE_DATADIR%"
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
13 EXEC_PREFIX="%OCTAVE_EXEC_PREFIX%"
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
14 FCNFILEDIR="%OCTAVE_FCNFILEDIR%"
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
15 FCNFILEPATH="%OCTAVE_FCNFILEPATH%"
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
16 IMAGEDIR="%OCTAVE_IMAGEDIR%"
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
17 IMAGEPATH="%OCTAVE_IMAGEPATH%"
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
18 INCLUDEDIR="%OCTAVE_INCLUDEDIR%"
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
19 INFODIR="%OCTAVE_INFODIR%"
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
20 INFOFILE="%OCTAVE_INFOFILE%"
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
21 LIBDIR="%OCTAVE_LIBDIR%"
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
22 LIBEXECDIR="%OCTAVE_LIBEXECDIR%"
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
23 LIBEXECDIR="%OCTAVE_LIBEXECDIR%"
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
24 LOCALARCHLIBDIR="%OCTAVE_LOCALARCHLIBDIR%"
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
25 LOCALFCNFILEDIR="%OCTAVE_LOCALFCNFILEDIR%"
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
26 LOCALFCNFILEPATH="%OCTAVE_LOCALFCNFILEPATH%"
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
27 LOCALOCTFILEDIR="%OCTAVE_LOCALOCTFILEDIR%"
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
28 LOCALOCTFILEPATH="%OCTAVE_LOCALOCTFILEPATH%"
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
29 LOCALSTARTUPFILEDIR="%OCTAVE_LOCALSTARTUPFILEDIR%"
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
30 LOCALVERARCHLIBDIR="%OCTAVE_LOCALVERARCHLIBDIR%"
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
31 LOCALVERFCNFILEDIR="%OCTAVE_LOCALVERFCNFILEDIR%"
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
32 LOCALVEROCTFILEDIR="%OCTAVE_LOCALVEROCTFILEDIR%"
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
33 MAN1DIR="%OCTAVE_MAN1DIR%"
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
34 MAN1EXT="%OCTAVE_MAN1EXT%"
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
35 MANDIR="%OCTAVE_MANDIR%"
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
36 OCTFILEDIR="%OCTAVE_OCTFILEDIR%"
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
37 OCTINCLUDEDIR="%OCTAVE_OCTINCLUDEDIR%"
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
38 OCTLIBDIR="%OCTAVE_OCTLIBDIR%"
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
39 PREFIX="%OCTAVE_PREFIX%"
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
40 STARTUPFILEDIR="%OCTAVE_STARTUPFILEDIR%"
3845
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
41 VERSION="%OCTAVE_VERSION%"
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
42
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
43 usage_msg="usage: octave-config [options]"
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
44
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
45 if [ $# -eq 0 ]; then
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
46 echo "$usage_msg" 1>&2
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
47 exit 1
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
48 fi
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
49
4443
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
50 while [ $# -gt 0 ]
3845
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
51 do
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
52 case "$1" in
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
53 -h | -\? | --help)
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
54 echo "$usage_msg"
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
55 cat << EOF
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
56
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
57 Options:
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
58
4444
9a2206207402 [project @ 2003-07-07 20:04:53 by jwe]
jwe
parents: 4443
diff changeset
59 -h, -?, --help Print this message.
3845
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
60
4444
9a2206207402 [project @ 2003-07-07 20:04:53 by jwe]
jwe
parents: 4443
diff changeset
61 --m-site-dir Print the name of the directory where Octave
9a2206207402 [project @ 2003-07-07 20:04:53 by jwe]
jwe
parents: 4443
diff changeset
62 expects to find locally installed .m files.
3845
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
63
4444
9a2206207402 [project @ 2003-07-07 20:04:53 by jwe]
jwe
parents: 4443
diff changeset
64 --oct-site-dir Print the name of the directory where Octave
9a2206207402 [project @ 2003-07-07 20:04:53 by jwe]
jwe
parents: 4443
diff changeset
65 expects to find locally installed .oct files.
3845
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
66
4444
9a2206207402 [project @ 2003-07-07 20:04:53 by jwe]
jwe
parents: 4443
diff changeset
67 -p VAR, --print VAR Print the value of the given configuration
9a2206207402 [project @ 2003-07-07 20:04:53 by jwe]
jwe
parents: 4443
diff changeset
68 variable VAR. Recognized variables are:
4443
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
69
4444
9a2206207402 [project @ 2003-07-07 20:04:53 by jwe]
jwe
parents: 4443
diff changeset
70 CANONICAL_HOST_TYPE LOCALFCNFILEDIR
9a2206207402 [project @ 2003-07-07 20:04:53 by jwe]
jwe
parents: 4443
diff changeset
71 DEFAULT_PAGER LOCALFCNFILEPATH
9a2206207402 [project @ 2003-07-07 20:04:53 by jwe]
jwe
parents: 4443
diff changeset
72 ARCHLIBDIR LOCALOCTFILEDIR
9a2206207402 [project @ 2003-07-07 20:04:53 by jwe]
jwe
parents: 4443
diff changeset
73 BINDIR LOCALOCTFILEPATH
9a2206207402 [project @ 2003-07-07 20:04:53 by jwe]
jwe
parents: 4443
diff changeset
74 DATADIR LOCALSTARTUPFILEDIR
9a2206207402 [project @ 2003-07-07 20:04:53 by jwe]
jwe
parents: 4443
diff changeset
75 EXEC_PREFIX LOCALVERARCHLIBDIR
9a2206207402 [project @ 2003-07-07 20:04:53 by jwe]
jwe
parents: 4443
diff changeset
76 FCNFILEDIR LOCALVERFCNFILEDIR
9a2206207402 [project @ 2003-07-07 20:04:53 by jwe]
jwe
parents: 4443
diff changeset
77 FCNFILEPATH LOCALVEROCTFILEDIR
9a2206207402 [project @ 2003-07-07 20:04:53 by jwe]
jwe
parents: 4443
diff changeset
78 IMAGEDIR MAN1DIR
9a2206207402 [project @ 2003-07-07 20:04:53 by jwe]
jwe
parents: 4443
diff changeset
79 IMAGEPATH MAN1EXT
9a2206207402 [project @ 2003-07-07 20:04:53 by jwe]
jwe
parents: 4443
diff changeset
80 INCLUDEDIR MANDIR
9a2206207402 [project @ 2003-07-07 20:04:53 by jwe]
jwe
parents: 4443
diff changeset
81 INFODIR OCTFILEDIR
9a2206207402 [project @ 2003-07-07 20:04:53 by jwe]
jwe
parents: 4443
diff changeset
82 INFOFILE OCTINCLUDEDIR
9a2206207402 [project @ 2003-07-07 20:04:53 by jwe]
jwe
parents: 4443
diff changeset
83 LIBDIR OCTLIBDIR
9a2206207402 [project @ 2003-07-07 20:04:53 by jwe]
jwe
parents: 4443
diff changeset
84 LIBEXECDIR PREFIX
9a2206207402 [project @ 2003-07-07 20:04:53 by jwe]
jwe
parents: 4443
diff changeset
85 LIBEXECDIR STARTUPFILEDIR
9a2206207402 [project @ 2003-07-07 20:04:53 by jwe]
jwe
parents: 4443
diff changeset
86 LOCALARCHLIBDIR VERSION
9a2206207402 [project @ 2003-07-07 20:04:53 by jwe]
jwe
parents: 4443
diff changeset
87
9a2206207402 [project @ 2003-07-07 20:04:53 by jwe]
jwe
parents: 4443
diff changeset
88 -v, --version Print the Octave version number.
4443
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
89
3845
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
90 EOF
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
91 exit 0
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
92 ;;
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
93 --m-site-dir)
4443
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
94 echo $OCTAVE_LOCALVERFCNFILEDIR
3845
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
95 ;;
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
96 --oct-site-dir)
4443
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
97 echo $OCTAVE_LOCALVEROCTFILEDIR
3845
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
98 ;;
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
99 -v | --version)
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
100 echo $VERSION
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
101 ;;
4444
9a2206207402 [project @ 2003-07-07 20:04:53 by jwe]
jwe
parents: 4443
diff changeset
102 -p | --print)
9a2206207402 [project @ 2003-07-07 20:04:53 by jwe]
jwe
parents: 4443
diff changeset
103 opt="$1"
4443
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
104 shift
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
105 if [ $# -eq 0 ]; then
4444
9a2206207402 [project @ 2003-07-07 20:04:53 by jwe]
jwe
parents: 4443
diff changeset
106 echo "octave-config: $opt option requires argument" 1>&2
4443
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
107 exit 1
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
108 fi
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
109 eval echo \${$1}
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
110 ;;
3845
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
111 *)
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
112 echo "octave-config: unrecognized argument $1" 2>&1
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
113 exit 1
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
114 ;;
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
115 esac
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
116 shift
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
117 done