diff options
Diffstat (limited to 'lang/drscheme/files/patch-aa')
-rw-r--r-- | lang/drscheme/files/patch-aa | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/lang/drscheme/files/patch-aa b/lang/drscheme/files/patch-aa new file mode 100644 index 000000000000..a6dcafd5f1c6 --- /dev/null +++ b/lang/drscheme/files/patch-aa @@ -0,0 +1,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}." |