annotate octave-config.in @ 4443:aa345723c698

[project @ 2003-07-07 19:55:18 by jwe]
author jwe
date Mon, 07 Jul 2003 19:55:18 +0000
parents d68c34dc9c25
children 9a2206207402
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
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
59 -h, -?, --help Print this message.
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
60
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
61 --m-site-dir Print the name of the directory where Octave
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
62 expects to find locally installed .m files.
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
63
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
64 --oct-site-dir Print the name of the directory where Octave
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
65 expects to find locally installed .oct files.
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
66
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
67 -v, --version Print the Octave version number.
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
68
4443
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
69 --variable VAR Print the value of the given configuration
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
70 variable VAR:
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
71
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
72 CANONICAL_HOST_TYPE LOCALFCNFILEDIR
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
73 DEFAULT_PAGER LOCALFCNFILEPATH
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
74 ARCHLIBDIR LOCALOCTFILEDIR
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
75 BINDIR LOCALOCTFILEPATH
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
76 DATADIR LOCALSTARTUPFILEDIR
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
77 EXEC_PREFIX LOCALVERARCHLIBDIR
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
78 FCNFILEDIR LOCALVERFCNFILEDIR
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
79 FCNFILEPATH LOCALVEROCTFILEDIR
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
80 IMAGEDIR MAN1DIR
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
81 IMAGEPATH MAN1EXT
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
82 INCLUDEDIR MANDIR
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
83 INFODIR OCTFILEDIR
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
84 INFOFILE OCTINCLUDEDIR
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
85 LIBDIR OCTLIBDIR
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
86 LIBEXECDIR PREFIX
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
87 LIBEXECDIR STARTUPFILEDIR
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
88 LOCALARCHLIBDIR VERSION
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 ;;
4443
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
102 --variable)
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
103 shift
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
104 if [ $# -eq 0 ]; then
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
105 echo "octave-config: --version option requires argument" 1>&2
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
106 exit 1
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
107 fi
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
108 eval echo \${$1}
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
109 ;;
3845
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
110 *)
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
111 echo "octave-config: unrecognized argument $1" 2>&1
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
112 exit 1
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
113 ;;
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
114 esac
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
115 shift
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
116 done