blob: a6dcafd5f1c6e94204a8ca5b156623b0ac326ad3 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
--- ../install-- Thu Jun 21 15:49:54 2001
+++ ../install Thu Jun 21 15:58:35 2001
@@ -134,21 +134,8 @@
checklink "MzScheme/MrEd/DrScheme" ".bin/sparc-sunos4-static" ".bin/sparc-solaris" "sparc-sunos4-static" "SunOS4 Static" "Solaris"
fi
-if [ -z "${RPM_INSTALL_PREFIX}" ] ; then
- echo 'PLT software starts up much faster with .zo files, but creating .zo'
- echo 'files now takes a few minutes and requires about 5MB of additional'
- echo 'disk space. Create .zo files later by running plt/bin/setup-plt.'
- echo -n ' Create .zo files now (y/n)? [y] '
- read response
-else
- response="y"
-fi
-if [ "$response" != 'n' ] ; then
- if [ "$response" != 'N' ] ; then
- didnothing=""
- bin/setup-plt
- fi
-fi
+didnothing=""
+bin/setup-plt
echo
echo "PLT installation done${didnothing}."
|