annotate doinstall.sh @ 1249:86fc40576f22

[project @ 1995-04-11 01:03:08 by jwe]
author jwe
date Tue, 11 Apr 1995 01:03:57 +0000
parents cdfbe8141ef6
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
5
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
1 #!/bin/sh
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
2 #
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
3 # doinstall.sh -- install script for binary distributions.
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
4 #
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
5 # John W. Eaton
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
6 # jwe@che.utexas.edu
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
7 # Department of Chemical Engineering
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
8 # The University of Texas at Austin
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
9
811
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
10 # ask octave to tell us the version number
813
0e0c5d811589 [project @ 1994-10-15 00:22:00 by jwe]
jwe
parents: 811
diff changeset
11 version=`./octave -v 2>/dev/null | awk '/version/ { print $NF }'`
811
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
12
817
eedd566a1e37 [project @ 1994-10-15 01:03:32 by jwe]
jwe
parents: 816
diff changeset
13 if test -z "$version"
eedd566a1e37 [project @ 1994-10-15 01:03:32 by jwe]
jwe
parents: 816
diff changeset
14 then
eedd566a1e37 [project @ 1994-10-15 01:03:32 by jwe]
jwe
parents: 816
diff changeset
15 echo "doinstall.sh: unable to extract version number from Octave!"
eedd566a1e37 [project @ 1994-10-15 01:03:32 by jwe]
jwe
parents: 816
diff changeset
16 exit 1
eedd566a1e37 [project @ 1994-10-15 01:03:32 by jwe]
jwe
parents: 816
diff changeset
17 fi
eedd566a1e37 [project @ 1994-10-15 01:03:32 by jwe]
jwe
parents: 816
diff changeset
18
815
f2fcdc711b5f [project @ 1994-10-15 00:39:35 by jwe]
jwe
parents: 814
diff changeset
19 # ask octave to tell us the target host type
f2fcdc711b5f [project @ 1994-10-15 00:39:35 by jwe]
jwe
parents: 814
diff changeset
20 target_host_type=`echo computer | ./octave -q`
f2fcdc711b5f [project @ 1994-10-15 00:39:35 by jwe]
jwe
parents: 814
diff changeset
21
817
eedd566a1e37 [project @ 1994-10-15 01:03:32 by jwe]
jwe
parents: 816
diff changeset
22 if test -z "$target_host_type"
811
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
23 then
817
eedd566a1e37 [project @ 1994-10-15 01:03:32 by jwe]
jwe
parents: 816
diff changeset
24 echo "doinstall.sh: unable to extract host type from Octave!"
811
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
25 exit 1
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
26 fi
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
27
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
28 # ==================== Where To Install Things ====================
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
29
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
30 # The default location for installation. Everything is placed in
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
31 # subdirectories of this directory. The default values for many of
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
32 # the variables below are expressed in terms of this one, so you may
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
33 # not need to change them. This defaults to /usr/local.
5
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
34 prefix=/usr/local
811
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
35
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
36 prefix="/usr/local"
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
37 if test $# -eq 1
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
38 then
5
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
39 prefix=$1
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
40 else
811
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
41 if test $# -gt 1
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
42 then
5
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
43 echo "usage: doinstall.sh [prefix-directory]"
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
44 exit 1
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
45 fi
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
46 fi
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
47
811
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
48 # Like `prefix', but used for architecture-specific files.
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
49 exec_prefix="$prefix"
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
50
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
51 # Where to install Octave and other binaries that people will want to
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
52 # run directly.
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
53 bindir="$exec_prefix/bin"
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
54
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
55 # Where to install architecture-independent data files. ${fcnfiledir}
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
56 # and ${localfcnfiledir} are subdirectories of this.
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
57 datadir="$prefix/lib"
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
58
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
59 # Where to install and expect libraries like libcruft.a, liboctave.a,
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
60 # and libreadline.a, executable files to be run by Octave rather than
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
61 # directly by users, and other architecture-dependent data.
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
62 # ${archlibdir} is a subdirectory of this.
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
63 libdir="$exec_prefix/lib"
5
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
64
811
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
65 # Where to install Octave's include files. The default is
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
66 # ${prefix}/include/octave
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
67 includedir="$prefix/include/octave"
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
68
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
69 # Where to install Octave's man pages, and what extension they should
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
70 # have. The default is ${prefix}/man/man1
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
71 mandir="$prefix/man/man1"
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
72 manext="1"
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
73
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
74 # Where to install and expect the info files describing Octave..
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
75 infodir="$prefix/info"
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
76
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
77 # ==================== Octave-specific directories ====================
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
78
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
79 # These variables hold the values Octave will actually use. They are
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
80 # based on the values of the standard Make variables above.
5
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
81
811
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
82 # Where to install the function file distributed with
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
83 # Octave. This includes the Octave version, so that the
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
84 # function files for different versions of Octave will install
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
85 # themselves in separate directories.
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
86 fcnfiledir="$datadir/octave/$version/m"
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
87
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
88 # Directories Octave should search for function files specific
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
89 # to this site (i.e. customizations), before consulting
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
90 # ${fcnfiledir}. This should be a colon-separated list of
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
91 # directories.
815
f2fcdc711b5f [project @ 1994-10-15 00:39:35 by jwe]
jwe
parents: 814
diff changeset
92 localfcnfiledir="$datadir/octave/site/m"
f2fcdc711b5f [project @ 1994-10-15 00:39:35 by jwe]
jwe
parents: 814
diff changeset
93 localfcnfilepath="$localfcnfiledir//"
811
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
94
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
95 # Where to put executables to be run by Octave rather than
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
96 # the user. This path usually includes the Octave version
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
97 # and configuration name, so that multiple configurations
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
98 # for multiple versions of Octave may be installed at once.
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
99 archlibdir="$libdir/octave/$version/exec/$target_host_type"
5
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
100
811
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
101 # Where to put object files that will by dynamically loaded.
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
102 # This path usually includes the Octave version and configuration
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
103 # name, so that multiple configurations for multiple versions of
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
104 # Octave may be installed at once.
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
105 octfiledir="$libdir/octave/$version/oct/$target_host_type"
5
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
106
811
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
107 # Directories Octave should search for object files that will be
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
108 # dynamically loaded and that are specific to this site
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
109 # (i.e. customizations), before consulting ${octfiledir}. This should
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
110 # be a colon-separated list of directories.
815
f2fcdc711b5f [project @ 1994-10-15 00:39:35 by jwe]
jwe
parents: 814
diff changeset
111 localoctfiledir="$datadir/octave/site/oct/$target_host_type"
f2fcdc711b5f [project @ 1994-10-15 00:39:35 by jwe]
jwe
parents: 814
diff changeset
112 localoctfilepath="$localoctfiledir//"
811
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
113
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
114 # Where Octave will search to find its function files. Before
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
115 # changing this, check to see if your purpose wouldn't
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
116 # better be served by changing localfcnfilepath. This
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
117 # should be a colon-separated list of directories.
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
118 fcnfilepath=".:$localoctfilepath:$localfcnfilepath:$octfiledir//:$fcnfiledir//"
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
119
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
120 # Where Octave will search to find image files.
818
238071e680a7 [project @ 1994-10-15 03:20:48 by jwe]
jwe
parents: 817
diff changeset
121 imagedir="$datadir/octave/$version/imagelib"
811
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
122 imagepath=".:$imagedir//"
5
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
123
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
124 cat << EOF
811
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
125 Installing octave in subdirectories of $prefix.
5
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
126
811
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
127 Binaries: $bindir
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
128 Function files: $fcnfiledir
813
0e0c5d811589 [project @ 1994-10-15 00:22:00 by jwe]
jwe
parents: 811
diff changeset
129 Demo images: $imagedir
811
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
130 Info files: $infodir
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
131 Man page: $mandir
5
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
132
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
133 EOF
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
134
811
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
135 DIRS_TO_MAKE="$bindir $datadir $libdir $includedir $mandir $infodir \
815
f2fcdc711b5f [project @ 1994-10-15 00:39:35 by jwe]
jwe
parents: 814
diff changeset
136 $fcnfiledir $archlibdir $octfiledir $imagedir \
f2fcdc711b5f [project @ 1994-10-15 00:39:35 by jwe]
jwe
parents: 814
diff changeset
137 $localfcnfiledir $localoctfiledir"
5
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
138
811
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
139 ./mkinstalldirs $DIRS_TO_MAKE
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
140 chmod 755 $DIRS_TO_MAKE
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
141
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
142 if test "$prefix" = /usr/local
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
143 then
5
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
144 echo "installing ./octave as $bindir/octave"
816
522bbd75dce3 [project @ 1994-10-15 00:59:22 by jwe]
jwe
parents: 815
diff changeset
145 cp octave $bindir/octave
5
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
146 chmod 755 $bindir/octave
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
147 else
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
148 echo "installing octave.sh as $bindir/octave"
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
149 sed "s|@OCTAVE_HOME@|$prefix|" octave.sh > octave.tmp
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
150 cp octave.tmp $bindir/octave
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
151 chmod 755 $bindir/octave
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
152
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
153 echo "installing ./octave as $bindir/octave.bin"
816
522bbd75dce3 [project @ 1994-10-15 00:59:22 by jwe]
jwe
parents: 815
diff changeset
154 cp octave $bindir/octave.bin
5
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
155 chmod 755 $bindir/octave.bin
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
156 fi
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
157
819
651ab12ec97b [project @ 1994-10-15 04:30:04 by jwe]
jwe
parents: 818
diff changeset
158 echo "installing octtopnm as $archlibdir/octtopnm"
651ab12ec97b [project @ 1994-10-15 04:30:04 by jwe]
jwe
parents: 818
diff changeset
159 cp octtopnm $archlibdir/octtopnm
651ab12ec97b [project @ 1994-10-15 04:30:04 by jwe]
jwe
parents: 818
diff changeset
160 chmod 755 $archlibdir/octtopnm
651ab12ec97b [project @ 1994-10-15 04:30:04 by jwe]
jwe
parents: 818
diff changeset
161
816
522bbd75dce3 [project @ 1994-10-15 00:59:22 by jwe]
jwe
parents: 815
diff changeset
162 echo "installing octave-bug as $bindir/octave-bug"
522bbd75dce3 [project @ 1994-10-15 00:59:22 by jwe]
jwe
parents: 815
diff changeset
163 cp octave-bug $bindir/octave-bug
522bbd75dce3 [project @ 1994-10-15 00:59:22 by jwe]
jwe
parents: 815
diff changeset
164 chmod 755 $bindir/octave-bug
522bbd75dce3 [project @ 1994-10-15 00:59:22 by jwe]
jwe
parents: 815
diff changeset
165
811
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
166 echo "installing function files in $fcnfiledir"
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
167 ( cd scripts
1092
2e10146f7f72 [project @ 1995-02-02 16:47:56 by jwe]
jwe
parents: 819
diff changeset
168 ../mkinstalldirs `find . -type d -print | sed -e 's,^\./,,' -e "s,^,$fcnfiledir/,"`
2e10146f7f72 [project @ 1995-02-02 16:47:56 by jwe]
jwe
parents: 819
diff changeset
169 for f in `find . \( -name '*.m' -o -name octaverc \) -print`
811
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
170 do
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
171 cp $f $fcnfiledir/$f
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
172 chmod 644 $fcnfiledir/$f
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
173 done )
5
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
174
813
0e0c5d811589 [project @ 1994-10-15 00:22:00 by jwe]
jwe
parents: 811
diff changeset
175 echo "installing image files in $imagedir"
0e0c5d811589 [project @ 1994-10-15 00:22:00 by jwe]
jwe
parents: 811
diff changeset
176 ( cd scripts
1092
2e10146f7f72 [project @ 1995-02-02 16:47:56 by jwe]
jwe
parents: 819
diff changeset
177 for f in `find . -name '*.img' -print`
813
0e0c5d811589 [project @ 1994-10-15 00:22:00 by jwe]
jwe
parents: 811
diff changeset
178 do
818
238071e680a7 [project @ 1994-10-15 03:20:48 by jwe]
jwe
parents: 817
diff changeset
179 file=`basename $f`
238071e680a7 [project @ 1994-10-15 03:20:48 by jwe]
jwe
parents: 817
diff changeset
180 cp $f $imagedir/$file
238071e680a7 [project @ 1994-10-15 03:20:48 by jwe]
jwe
parents: 817
diff changeset
181 chmod 644 $imagedir/$file
813
0e0c5d811589 [project @ 1994-10-15 00:22:00 by jwe]
jwe
parents: 811
diff changeset
182 done )
0e0c5d811589 [project @ 1994-10-15 00:22:00 by jwe]
jwe
parents: 811
diff changeset
183
1154
cdfbe8141ef6 [project @ 1995-02-27 04:15:38 by jwe]
jwe
parents: 1092
diff changeset
184 echo "creating ls-R file in $datadir/octave"
cdfbe8141ef6 [project @ 1995-02-27 04:15:38 by jwe]
jwe
parents: 1092
diff changeset
185 ls -R $datadir/octave > $datadir/octave/ls-R
cdfbe8141ef6 [project @ 1995-02-27 04:15:38 by jwe]
jwe
parents: 1092
diff changeset
186
5
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
187 echo "installing info files in $infodir"
811
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
188 for f in doc/octave.info*
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
189 do
5
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
190 file=`basename $f`
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
191 cp $f $infodir/$file
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
192 chmod 644 $infodir/$file
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
193 done
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
194
811
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
195 echo "installing man page in $mandir"
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
196 cp doc/octave.1 $mandir/octave.$manext
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
197 chmod 644 $mandir/octave.$manext
433ab56e62cd [project @ 1994-10-14 21:58:37 by jwe]
jwe
parents: 379
diff changeset
198
5
9c27e323492f [project @ 1993-08-08 01:29:13 by jwe]
jwe
parents:
diff changeset
199 exit 0