annotate octave-config.in @ 7016:93c65f2a5668

[project @ 2007-10-12 06:40:56 by jwe]
author jwe
date Fri, 12 Oct 2007 06:41:26 +0000
parents 5843c11b4006
children a1dbe9d80eee
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 -
7016
93c65f2a5668 [project @ 2007-10-12 06:40:56 by jwe]
jwe
parents: 6594
diff changeset
2 ##
93c65f2a5668 [project @ 2007-10-12 06:40:56 by jwe]
jwe
parents: 6594
diff changeset
3 ## octave-config - reports some configuration values for Octave
93c65f2a5668 [project @ 2007-10-12 06:40:56 by jwe]
jwe
parents: 6594
diff changeset
4 ##
93c65f2a5668 [project @ 2007-10-12 06:40:56 by jwe]
jwe
parents: 6594
diff changeset
5 ## This file is part of Octave.
93c65f2a5668 [project @ 2007-10-12 06:40:56 by jwe]
jwe
parents: 6594
diff changeset
6 ##
93c65f2a5668 [project @ 2007-10-12 06:40:56 by jwe]
jwe
parents: 6594
diff changeset
7 ## Octave is free software; you can redistribute it and/or modify it
93c65f2a5668 [project @ 2007-10-12 06:40:56 by jwe]
jwe
parents: 6594
diff changeset
8 ## under the terms of the GNU General Public License as published by
93c65f2a5668 [project @ 2007-10-12 06:40:56 by jwe]
jwe
parents: 6594
diff changeset
9 ## the Free Software Foundation; either version 3 of the License, or (at
93c65f2a5668 [project @ 2007-10-12 06:40:56 by jwe]
jwe
parents: 6594
diff changeset
10 ## your option) any later version.
93c65f2a5668 [project @ 2007-10-12 06:40:56 by jwe]
jwe
parents: 6594
diff changeset
11 ##
93c65f2a5668 [project @ 2007-10-12 06:40:56 by jwe]
jwe
parents: 6594
diff changeset
12 ## Octave is distributed in the hope that it will be useful, but
93c65f2a5668 [project @ 2007-10-12 06:40:56 by jwe]
jwe
parents: 6594
diff changeset
13 ## WITHOUT ANY WARRANTY; without even the implied warranty of
93c65f2a5668 [project @ 2007-10-12 06:40:56 by jwe]
jwe
parents: 6594
diff changeset
14 ## MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
93c65f2a5668 [project @ 2007-10-12 06:40:56 by jwe]
jwe
parents: 6594
diff changeset
15 ## General Public License for more details.
93c65f2a5668 [project @ 2007-10-12 06:40:56 by jwe]
jwe
parents: 6594
diff changeset
16 ##
93c65f2a5668 [project @ 2007-10-12 06:40:56 by jwe]
jwe
parents: 6594
diff changeset
17 ## You should have received a copy of the GNU General Public License
93c65f2a5668 [project @ 2007-10-12 06:40:56 by jwe]
jwe
parents: 6594
diff changeset
18 ## along with Octave; see the file COPYING. If not, see
93c65f2a5668 [project @ 2007-10-12 06:40:56 by jwe]
jwe
parents: 6594
diff changeset
19 ## <http://www.gnu.org/licenses/>.
93c65f2a5668 [project @ 2007-10-12 06:40:56 by jwe]
jwe
parents: 6594
diff changeset
20 ##
93c65f2a5668 [project @ 2007-10-12 06:40:56 by jwe]
jwe
parents: 6594
diff changeset
21 ## Original version by Rafael Laboissiere <rafael@laboissiere.net>
93c65f2a5668 [project @ 2007-10-12 06:40:56 by jwe]
jwe
parents: 6594
diff changeset
22 ## distributed as free software in the public domain.
3845
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
23
5909
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
24 API_VERSION=%OCTAVE_API_VERSION%
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
25 CANONICAL_HOST_TYPE=%OCTAVE_CANONICAL_HOST_TYPE%
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
26 DEFAULT_PAGER=%OCTAVE_DEFAULT_PAGER%
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
27 ARCHLIBDIR=%OCTAVE_ARCHLIBDIR%
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
28 BINDIR=%OCTAVE_BINDIR%
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
29 DATADIR=%OCTAVE_DATADIR%
6319
e7e7c338bf99 [project @ 2007-02-16 11:14:44 by jwe]
jwe
parents: 6311
diff changeset
30 DATAROOTDIR=%OCTAVE_DATAROOTDIR%
5909
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
31 EXEC_PREFIX=%OCTAVE_EXEC_PREFIX%
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
32 FCNFILEDIR=%OCTAVE_FCNFILEDIR%
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
33 IMAGEDIR=%OCTAVE_IMAGEDIR%
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
34 INCLUDEDIR=%OCTAVE_INCLUDEDIR%
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
35 INFODIR=%OCTAVE_INFODIR%
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
36 INFOFILE=%OCTAVE_INFOFILE%
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
37 LIBDIR=%OCTAVE_LIBDIR%
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
38 LIBEXECDIR=%OCTAVE_LIBEXECDIR%
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
39 LOCALAPIARCHLIBDIR=%OCTAVE_LOCALAPIARCHLIBDIR%
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
40 LOCALAPIFCNFILEDIR=%OCTAVE_LOCALAPIFCNFILEDIR%
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
41 LOCALAPIOCTFILEDIR=%OCTAVE_LOCALAPIOCTFILEDIR%
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
42 LOCALARCHLIBDIR=%OCTAVE_LOCALARCHLIBDIR%
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
43 LOCALFCNFILEDIR=%OCTAVE_LOCALFCNFILEDIR%
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
44 LOCALOCTFILEDIR=%OCTAVE_LOCALOCTFILEDIR%
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
45 LOCALSTARTUPFILEDIR=%OCTAVE_LOCALSTARTUPFILEDIR%
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
46 LOCALVERARCHLIBDIR=%OCTAVE_LOCALVERARCHLIBDIR%
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
47 LOCALVERFCNFILEDIR=%OCTAVE_LOCALVERFCNFILEDIR%
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
48 LOCALVEROCTFILEDIR=%OCTAVE_LOCALVEROCTFILEDIR%
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
49 MAN1DIR=%OCTAVE_MAN1DIR%
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
50 MAN1EXT=%OCTAVE_MAN1EXT%
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
51 MANDIR=%OCTAVE_MANDIR%
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
52 OCTFILEDIR=%OCTAVE_OCTFILEDIR%
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
53 OCTINCLUDEDIR=%OCTAVE_OCTINCLUDEDIR%
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
54 OCTLIBDIR=%OCTAVE_OCTLIBDIR%
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
55 PREFIX=%OCTAVE_PREFIX%
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
56 STARTUPFILEDIR=%OCTAVE_STARTUPFILEDIR%
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
57 VERSION=%OCTAVE_VERSION%
3845
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
58
6311
e2a1aca62551 [project @ 2007-02-15 21:18:34 by jwe]
jwe
parents: 5909
diff changeset
59 if [ -n "$OCTAVE_HOME" ]; then
e2a1aca62551 [project @ 2007-02-15 21:18:34 by jwe]
jwe
parents: 5909
diff changeset
60 ARCHLIBDIR="`echo $ARCHLIBDIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
e2a1aca62551 [project @ 2007-02-15 21:18:34 by jwe]
jwe
parents: 5909
diff changeset
61 BINDIR="`echo $BINDIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
e2a1aca62551 [project @ 2007-02-15 21:18:34 by jwe]
jwe
parents: 5909
diff changeset
62 DATADIR="`echo $DATADIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
e2a1aca62551 [project @ 2007-02-15 21:18:34 by jwe]
jwe
parents: 5909
diff changeset
63 DATAROOTDIR="`echo $DATAROOTDIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
e2a1aca62551 [project @ 2007-02-15 21:18:34 by jwe]
jwe
parents: 5909
diff changeset
64 EXEC_PREFIX="`echo $EXEC_PREFIX | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
e2a1aca62551 [project @ 2007-02-15 21:18:34 by jwe]
jwe
parents: 5909
diff changeset
65 FCNFILEDIR="`echo $FCNFILEDIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
e2a1aca62551 [project @ 2007-02-15 21:18:34 by jwe]
jwe
parents: 5909
diff changeset
66 IMAGEDIR="`echo $IMAGEDIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
e2a1aca62551 [project @ 2007-02-15 21:18:34 by jwe]
jwe
parents: 5909
diff changeset
67 INCLUDEDIR="`echo $INCLUDEDIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
e2a1aca62551 [project @ 2007-02-15 21:18:34 by jwe]
jwe
parents: 5909
diff changeset
68 INFODIR="`echo $INFODIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
e2a1aca62551 [project @ 2007-02-15 21:18:34 by jwe]
jwe
parents: 5909
diff changeset
69 INFOFILE="`echo $INFOFILE | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
e2a1aca62551 [project @ 2007-02-15 21:18:34 by jwe]
jwe
parents: 5909
diff changeset
70 LIBDIR="`echo $LIBDIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
e2a1aca62551 [project @ 2007-02-15 21:18:34 by jwe]
jwe
parents: 5909
diff changeset
71 LIBEXECDIR="`echo $LIBEXECDIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
e2a1aca62551 [project @ 2007-02-15 21:18:34 by jwe]
jwe
parents: 5909
diff changeset
72 LOCALAPIARCHLIBDIR="`echo $LOCALAPIARCHLIBDIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
e2a1aca62551 [project @ 2007-02-15 21:18:34 by jwe]
jwe
parents: 5909
diff changeset
73 LOCALAPIFCNFILEDIR="`echo $LOCALAPIFCNFILEDIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
e2a1aca62551 [project @ 2007-02-15 21:18:34 by jwe]
jwe
parents: 5909
diff changeset
74 LOCALAPIOCTFILEDIR="`echo $LOCALAPIOCTFILEDIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
e2a1aca62551 [project @ 2007-02-15 21:18:34 by jwe]
jwe
parents: 5909
diff changeset
75 LOCALARCHLIBDIR="`echo $LOCALARCHLIBDIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
e2a1aca62551 [project @ 2007-02-15 21:18:34 by jwe]
jwe
parents: 5909
diff changeset
76 LOCALFCNFILEDIR="`echo $LOCALFCNFILEDIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
e2a1aca62551 [project @ 2007-02-15 21:18:34 by jwe]
jwe
parents: 5909
diff changeset
77 LOCALOCTFILEDIR="`echo $LOCALOCTFILEDIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
e2a1aca62551 [project @ 2007-02-15 21:18:34 by jwe]
jwe
parents: 5909
diff changeset
78 LOCALSTARTUPFILEDIR="`echo $LOCALSTARTUPFILEDIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
e2a1aca62551 [project @ 2007-02-15 21:18:34 by jwe]
jwe
parents: 5909
diff changeset
79 LOCALVERARCHLIBDIR="`echo $LOCALVERARCHLIBDIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
e2a1aca62551 [project @ 2007-02-15 21:18:34 by jwe]
jwe
parents: 5909
diff changeset
80 LOCALVERFCNFILEDIR="`echo $LOCALVERFCNFILEDIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
e2a1aca62551 [project @ 2007-02-15 21:18:34 by jwe]
jwe
parents: 5909
diff changeset
81 LOCALVEROCTFILEDIR="`echo $LOCALVEROCTFILEDIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
e2a1aca62551 [project @ 2007-02-15 21:18:34 by jwe]
jwe
parents: 5909
diff changeset
82 MAN1DIR="`echo $MAN1DIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
e2a1aca62551 [project @ 2007-02-15 21:18:34 by jwe]
jwe
parents: 5909
diff changeset
83 MANDIR="`echo $MANDIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
e2a1aca62551 [project @ 2007-02-15 21:18:34 by jwe]
jwe
parents: 5909
diff changeset
84 OCTFILEDIR="`echo $OCTFILEDIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
e2a1aca62551 [project @ 2007-02-15 21:18:34 by jwe]
jwe
parents: 5909
diff changeset
85 OCTINCLUDEDIR="`echo $OCTINCLUDEDIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
e2a1aca62551 [project @ 2007-02-15 21:18:34 by jwe]
jwe
parents: 5909
diff changeset
86 OCTLIBDIR="`echo $OCTLIBDIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
e2a1aca62551 [project @ 2007-02-15 21:18:34 by jwe]
jwe
parents: 5909
diff changeset
87 STARTUPFILEDIR="`echo $STARTUPFILEDIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
6594
5843c11b4006 [project @ 2007-04-27 14:59:58 by jwe]
jwe
parents: 6319
diff changeset
88
5843c11b4006 [project @ 2007-04-27 14:59:58 by jwe]
jwe
parents: 6319
diff changeset
89 PREFIX="$OCTAVE_HOME"
6311
e2a1aca62551 [project @ 2007-02-15 21:18:34 by jwe]
jwe
parents: 5909
diff changeset
90 fi
e2a1aca62551 [project @ 2007-02-15 21:18:34 by jwe]
jwe
parents: 5909
diff changeset
91
3845
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
92 usage_msg="usage: octave-config [options]"
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
93
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
94 if [ $# -eq 0 ]; then
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
95 echo "$usage_msg" 1>&2
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
96 exit 1
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
97 fi
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
98
4443
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
99 while [ $# -gt 0 ]
3845
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
100 do
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
101 case "$1" in
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
102 -h | -\? | --help)
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
103 echo "$usage_msg"
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
104 cat << EOF
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
105
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
106 Options:
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
107
4444
9a2206207402 [project @ 2003-07-07 20:04:53 by jwe]
jwe
parents: 4443
diff changeset
108 -h, -?, --help Print this message.
3845
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
109
4444
9a2206207402 [project @ 2003-07-07 20:04:53 by jwe]
jwe
parents: 4443
diff changeset
110 --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
111 expects to find locally installed .m files.
3845
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
112
4444
9a2206207402 [project @ 2003-07-07 20:04:53 by jwe]
jwe
parents: 4443
diff changeset
113 --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
114 expects to find locally installed .oct files.
3845
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
115
4444
9a2206207402 [project @ 2003-07-07 20:04:53 by jwe]
jwe
parents: 4443
diff changeset
116 -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
117 variable VAR. Recognized variables are:
4443
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
118
5909
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
119 API_VERSION LOCALAPIARCHLIBDIR
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
120 CANONICAL_HOST_TYPE LOCALAPIFCNFILEDIR
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
121 DEFAULT_PAGER LOCALAPIOCTFILEDIR
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
122 ARCHLIBDIR LOCALARCHLIBDIR
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
123 BINDIR LOCALFCNFILEDIR
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
124 DATADIR LOCALOCTFILEDIR
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
125 EXEC_PREFIX LOCALSTARTUPFILEDIR
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
126 FCNFILEDIR LOCALVERARCHLIBDIR
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
127 LOCALVEROCTFILEDIR LOCALVERFCNFILEDIR
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
128 IMAGEDIR MAN1DIR
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
129 MAN1EXT MANDIR
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
130 INCLUDEDIR OCTFILEDIR
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
131 INFODIR OCTINCLUDEDIR
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
132 INFOFILE OCTLIBDIR
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
133 LIBDIR PREFIX
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
134 LIBEXECDIR STARTUPFILEDIR
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
135 LIBEXECDIR VERSION
4444
9a2206207402 [project @ 2003-07-07 20:04:53 by jwe]
jwe
parents: 4443
diff changeset
136
9a2206207402 [project @ 2003-07-07 20:04:53 by jwe]
jwe
parents: 4443
diff changeset
137 -v, --version Print the Octave version number.
4443
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
138
3845
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
139 EOF
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
140 exit 0
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
141 ;;
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
142 --m-site-dir)
4670
4ad69c3588a9 [project @ 2003-11-26 14:42:51 by jwe]
jwe
parents: 4449
diff changeset
143 echo $LOCALVERFCNFILEDIR
3845
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
144 ;;
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
145 --oct-site-dir)
4670
4ad69c3588a9 [project @ 2003-11-26 14:42:51 by jwe]
jwe
parents: 4449
diff changeset
146 echo $LOCALVEROCTFILEDIR
3845
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
147 ;;
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
148 -v | --version)
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
149 echo $VERSION
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
150 ;;
4444
9a2206207402 [project @ 2003-07-07 20:04:53 by jwe]
jwe
parents: 4443
diff changeset
151 -p | --print)
9a2206207402 [project @ 2003-07-07 20:04:53 by jwe]
jwe
parents: 4443
diff changeset
152 opt="$1"
4443
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
153 shift
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
154 if [ $# -eq 0 ]; then
4444
9a2206207402 [project @ 2003-07-07 20:04:53 by jwe]
jwe
parents: 4443
diff changeset
155 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
156 exit 1
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
157 fi
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
158 eval echo \${$1}
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
159 ;;
3845
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
160 *)
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
161 echo "octave-config: unrecognized argument $1" 2>&1
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
162 exit 1
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
163 ;;
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
164 esac
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
165 shift
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
166 done