annotate octave-config.in @ 4720:e759d01692db ss-2-1-53

[project @ 2004-01-23 04:13:37 by jwe]
author jwe
date Fri, 23 Jan 2004 04:13:37 +0000
parents 4ad69c3588a9
children a6a2423a9c25
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
4449
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4444
diff changeset
8 API_VERSION="%OCTAVE_API_VERSION%"
4443
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
9 CANONICAL_HOST_TYPE="%OCTAVE_CANONICAL_HOST_TYPE%"
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
10 DEFAULT_PAGER="%OCTAVE_DEFAULT_PAGER%"
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
11 ARCHLIBDIR="%OCTAVE_ARCHLIBDIR%"
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
12 BINDIR="%OCTAVE_BINDIR%"
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
13 DATADIR="%OCTAVE_DATADIR%"
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
14 EXEC_PREFIX="%OCTAVE_EXEC_PREFIX%"
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
15 FCNFILEDIR="%OCTAVE_FCNFILEDIR%"
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
16 FCNFILEPATH="%OCTAVE_FCNFILEPATH%"
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
17 IMAGEDIR="%OCTAVE_IMAGEDIR%"
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
18 IMAGEPATH="%OCTAVE_IMAGEPATH%"
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
19 INCLUDEDIR="%OCTAVE_INCLUDEDIR%"
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
20 INFODIR="%OCTAVE_INFODIR%"
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
21 INFOFILE="%OCTAVE_INFOFILE%"
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
22 LIBDIR="%OCTAVE_LIBDIR%"
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 LIBEXECDIR="%OCTAVE_LIBEXECDIR%"
4449
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4444
diff changeset
25 LOCALAPIFCNFILEDIR="%OCTAVE_LOCALAPIFCNFILEDIR%"
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4444
diff changeset
26 LOCALAPIOCTFILEDIR="%OCTAVE_LOCALAPIOCTFILEDIR%"
4443
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
27 LOCALARCHLIBDIR="%OCTAVE_LOCALARCHLIBDIR%"
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
28 LOCALFCNFILEDIR="%OCTAVE_LOCALFCNFILEDIR%"
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
29 LOCALFCNFILEPATH="%OCTAVE_LOCALFCNFILEPATH%"
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
30 LOCALOCTFILEDIR="%OCTAVE_LOCALOCTFILEDIR%"
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
31 LOCALOCTFILEPATH="%OCTAVE_LOCALOCTFILEPATH%"
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
32 LOCALSTARTUPFILEDIR="%OCTAVE_LOCALSTARTUPFILEDIR%"
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
33 LOCALVERARCHLIBDIR="%OCTAVE_LOCALVERARCHLIBDIR%"
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
34 LOCALVERFCNFILEDIR="%OCTAVE_LOCALVERFCNFILEDIR%"
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
35 LOCALVEROCTFILEDIR="%OCTAVE_LOCALVEROCTFILEDIR%"
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
36 MAN1DIR="%OCTAVE_MAN1DIR%"
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
37 MAN1EXT="%OCTAVE_MAN1EXT%"
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
38 MANDIR="%OCTAVE_MANDIR%"
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
39 OCTFILEDIR="%OCTAVE_OCTFILEDIR%"
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
40 OCTINCLUDEDIR="%OCTAVE_OCTINCLUDEDIR%"
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
41 OCTLIBDIR="%OCTAVE_OCTLIBDIR%"
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
42 PREFIX="%OCTAVE_PREFIX%"
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
43 STARTUPFILEDIR="%OCTAVE_STARTUPFILEDIR%"
3845
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
44 VERSION="%OCTAVE_VERSION%"
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
45
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
46 usage_msg="usage: octave-config [options]"
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
47
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
48 if [ $# -eq 0 ]; then
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
49 echo "$usage_msg" 1>&2
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
50 exit 1
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
51 fi
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
52
4443
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
53 while [ $# -gt 0 ]
3845
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
54 do
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
55 case "$1" in
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
56 -h | -\? | --help)
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
57 echo "$usage_msg"
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
58 cat << EOF
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
59
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
60 Options:
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
61
4444
9a2206207402 [project @ 2003-07-07 20:04:53 by jwe]
jwe
parents: 4443
diff changeset
62 -h, -?, --help Print this message.
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 --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
65 expects to find locally installed .m 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 --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
68 expects to find locally installed .oct files.
3845
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
69
4444
9a2206207402 [project @ 2003-07-07 20:04:53 by jwe]
jwe
parents: 4443
diff changeset
70 -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
71 variable VAR. Recognized variables are:
4443
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
72
4449
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4444
diff changeset
73 API_VERSION LOCALARCHLIBDIR
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4444
diff changeset
74 CANONICAL_HOST_TYPE LOCALFCNFILEDIR
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4444
diff changeset
75 DEFAULT_PAGER LOCALFCNFILEPATH
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4444
diff changeset
76 ARCHLIBDIR LOCALOCTFILEDIR
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4444
diff changeset
77 BINDIR LOCALOCTFILEPATH
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4444
diff changeset
78 DATADIR LOCALSTARTUPFILEDIR
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4444
diff changeset
79 EXEC_PREFIX LOCALVERARCHLIBDIR
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4444
diff changeset
80 FCNFILEDIR LOCALVERFCNFILEDIR
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4444
diff changeset
81 FCNFILEPATH LOCALVEROCTFILEDIR
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4444
diff changeset
82 IMAGEDIR MAN1DIR
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4444
diff changeset
83 IMAGEPATH MAN1EXT
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4444
diff changeset
84 INCLUDEDIR MANDIR
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4444
diff changeset
85 INFODIR OCTFILEDIR
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4444
diff changeset
86 INFOFILE OCTINCLUDEDIR
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4444
diff changeset
87 LIBDIR OCTLIBDIR
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4444
diff changeset
88 LIBEXECDIR PREFIX
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4444
diff changeset
89 LIBEXECDIR STARTUPFILEDIR
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4444
diff changeset
90 LOCALAPIFCNFILEDIR VERSION
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4444
diff changeset
91 LOCALAPIOCTFILEDIR
4444
9a2206207402 [project @ 2003-07-07 20:04:53 by jwe]
jwe
parents: 4443
diff changeset
92
9a2206207402 [project @ 2003-07-07 20:04:53 by jwe]
jwe
parents: 4443
diff changeset
93 -v, --version Print the Octave version number.
4443
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
94
3845
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
95 EOF
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
96 exit 0
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
97 ;;
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
98 --m-site-dir)
4670
4ad69c3588a9 [project @ 2003-11-26 14:42:51 by jwe]
jwe
parents: 4449
diff changeset
99 echo $LOCALVERFCNFILEDIR
3845
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
100 ;;
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
101 --oct-site-dir)
4670
4ad69c3588a9 [project @ 2003-11-26 14:42:51 by jwe]
jwe
parents: 4449
diff changeset
102 echo $LOCALVEROCTFILEDIR
3845
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
103 ;;
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
104 -v | --version)
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
105 echo $VERSION
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
106 ;;
4444
9a2206207402 [project @ 2003-07-07 20:04:53 by jwe]
jwe
parents: 4443
diff changeset
107 -p | --print)
9a2206207402 [project @ 2003-07-07 20:04:53 by jwe]
jwe
parents: 4443
diff changeset
108 opt="$1"
4443
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
109 shift
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
110 if [ $# -eq 0 ]; then
4444
9a2206207402 [project @ 2003-07-07 20:04:53 by jwe]
jwe
parents: 4443
diff changeset
111 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
112 exit 1
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
113 fi
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
114 eval echo \${$1}
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
115 ;;
3845
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
116 *)
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
117 echo "octave-config: unrecognized argument $1" 2>&1
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
118 exit 1
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
119 ;;
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
120 esac
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
121 shift
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
122 done