annotate octave-config.in @ 12312:b10ea6efdc58 release-3-4-x ss-3-3-91

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