mirror of
https://git.FreeBSD.org/ports.git
synced 2024-10-27 21:29:02 +00:00
27 lines
804 B
Plaintext
27 lines
804 B
Plaintext
--- ../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}."
|