comparison octave-config.in @ 6311:e2a1aca62551

[project @ 2007-02-15 21:18:34 by jwe]
author jwe
date Thu, 15 Feb 2007 21:18:35 +0000
parents a6a2423a9c25
children e7e7c338bf99
comparison
equal deleted inserted replaced
6310:cf8894bbc49d 6311:e2a1aca62551
9 CANONICAL_HOST_TYPE=%OCTAVE_CANONICAL_HOST_TYPE% 9 CANONICAL_HOST_TYPE=%OCTAVE_CANONICAL_HOST_TYPE%
10 DEFAULT_PAGER=%OCTAVE_DEFAULT_PAGER% 10 DEFAULT_PAGER=%OCTAVE_DEFAULT_PAGER%
11 ARCHLIBDIR=%OCTAVE_ARCHLIBDIR% 11 ARCHLIBDIR=%OCTAVE_ARCHLIBDIR%
12 BINDIR=%OCTAVE_BINDIR% 12 BINDIR=%OCTAVE_BINDIR%
13 DATADIR=%OCTAVE_DATADIR% 13 DATADIR=%OCTAVE_DATADIR%
14 DATADIR=%OCTAVE_DATAROOTDIR%
14 EXEC_PREFIX=%OCTAVE_EXEC_PREFIX% 15 EXEC_PREFIX=%OCTAVE_EXEC_PREFIX%
15 FCNFILEDIR=%OCTAVE_FCNFILEDIR% 16 FCNFILEDIR=%OCTAVE_FCNFILEDIR%
16 IMAGEDIR=%OCTAVE_IMAGEDIR% 17 IMAGEDIR=%OCTAVE_IMAGEDIR%
17 INCLUDEDIR=%OCTAVE_INCLUDEDIR% 18 INCLUDEDIR=%OCTAVE_INCLUDEDIR%
18 INFODIR=%OCTAVE_INFODIR% 19 INFODIR=%OCTAVE_INFODIR%
19 INFOFILE=%OCTAVE_INFOFILE% 20 INFOFILE=%OCTAVE_INFOFILE%
20 LIBDIR=%OCTAVE_LIBDIR% 21 LIBDIR=%OCTAVE_LIBDIR%
21 LIBEXECDIR=%OCTAVE_LIBEXECDIR%
22 LIBEXECDIR=%OCTAVE_LIBEXECDIR% 22 LIBEXECDIR=%OCTAVE_LIBEXECDIR%
23 LOCALAPIARCHLIBDIR=%OCTAVE_LOCALAPIARCHLIBDIR% 23 LOCALAPIARCHLIBDIR=%OCTAVE_LOCALAPIARCHLIBDIR%
24 LOCALAPIFCNFILEDIR=%OCTAVE_LOCALAPIFCNFILEDIR% 24 LOCALAPIFCNFILEDIR=%OCTAVE_LOCALAPIFCNFILEDIR%
25 LOCALAPIOCTFILEDIR=%OCTAVE_LOCALAPIOCTFILEDIR% 25 LOCALAPIOCTFILEDIR=%OCTAVE_LOCALAPIOCTFILEDIR%
26 LOCALARCHLIBDIR=%OCTAVE_LOCALARCHLIBDIR% 26 LOCALARCHLIBDIR=%OCTAVE_LOCALARCHLIBDIR%
37 OCTINCLUDEDIR=%OCTAVE_OCTINCLUDEDIR% 37 OCTINCLUDEDIR=%OCTAVE_OCTINCLUDEDIR%
38 OCTLIBDIR=%OCTAVE_OCTLIBDIR% 38 OCTLIBDIR=%OCTAVE_OCTLIBDIR%
39 PREFIX=%OCTAVE_PREFIX% 39 PREFIX=%OCTAVE_PREFIX%
40 STARTUPFILEDIR=%OCTAVE_STARTUPFILEDIR% 40 STARTUPFILEDIR=%OCTAVE_STARTUPFILEDIR%
41 VERSION=%OCTAVE_VERSION% 41 VERSION=%OCTAVE_VERSION%
42
43 if [ -n "$OCTAVE_HOME" ]; then
44 ARCHLIBDIR="`echo $ARCHLIBDIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
45 BINDIR="`echo $BINDIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
46 DATADIR="`echo $DATADIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
47 DATAROOTDIR="`echo $DATAROOTDIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
48 EXEC_PREFIX="`echo $EXEC_PREFIX | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
49 FCNFILEDIR="`echo $FCNFILEDIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
50 IMAGEDIR="`echo $IMAGEDIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
51 INCLUDEDIR="`echo $INCLUDEDIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
52 INFODIR="`echo $INFODIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
53 INFOFILE="`echo $INFOFILE | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
54 LIBDIR="`echo $LIBDIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
55 LIBEXECDIR="`echo $LIBEXECDIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
56 LOCALAPIARCHLIBDIR="`echo $LOCALAPIARCHLIBDIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
57 LOCALAPIFCNFILEDIR="`echo $LOCALAPIFCNFILEDIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
58 LOCALAPIOCTFILEDIR="`echo $LOCALAPIOCTFILEDIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
59 LOCALARCHLIBDIR="`echo $LOCALARCHLIBDIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
60 LOCALFCNFILEDIR="`echo $LOCALFCNFILEDIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
61 LOCALOCTFILEDIR="`echo $LOCALOCTFILEDIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
62 LOCALSTARTUPFILEDIR="`echo $LOCALSTARTUPFILEDIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
63 LOCALVERARCHLIBDIR="`echo $LOCALVERARCHLIBDIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
64 LOCALVERFCNFILEDIR="`echo $LOCALVERFCNFILEDIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
65 LOCALVEROCTFILEDIR="`echo $LOCALVEROCTFILEDIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
66 MAN1DIR="`echo $MAN1DIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
67 MANDIR="`echo $MANDIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
68 OCTFILEDIR="`echo $OCTFILEDIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
69 OCTINCLUDEDIR="`echo $OCTINCLUDEDIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
70 OCTLIBDIR="`echo $OCTLIBDIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
71 STARTUPFILEDIR="`echo $STARTUPFILEDIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
72 fi
73 PREFIX="$OCTAVE_HOME"
42 74
43 usage_msg="usage: octave-config [options]" 75 usage_msg="usage: octave-config [options]"
44 76
45 if [ $# -eq 0 ]; then 77 if [ $# -eq 0 ]; then
46 echo "$usage_msg" 1>&2 78 echo "$usage_msg" 1>&2