diff options
| author | Joseph Koshy <jkoshy@FreeBSD.org> | 2001-06-26 09:19:52 +0000 |
|---|---|---|
| committer | Joseph Koshy <jkoshy@FreeBSD.org> | 2001-06-26 09:19:52 +0000 |
| commit | e977d4f8a52f5d244b89423a4c7ac44f187492f5 (patch) | |
| tree | a1a2d4ec408b04fdf72bc7d02e04063cc599a5fc /lang/drscheme/files/patch-aa | |
| parent | Author requested his web site removed from MASTER_SITES. (diff) | |
A port of `DrScheme', a graphical teaching environment and IDE for Scheme.
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}." |