Initial import.

2 files changed, 67 insertions, 0 deletions

diff --git a/dev-lisp/plt/files/digest-plt-202 b/dev-lisp/plt/files/digest-plt-202
new file mode 100644
index 000000000000..2126436a1bf5
--- /dev/null
+++ b/dev-lisp/plt/files/digest-plt-202
@@ -0,0 +1 @@
+MD5 cdc393660094aca6d65b4899673b6fe0 plt.src.x.tar.gz 6128207
diff --git a/dev-lisp/plt/plt-202.ebuild b/dev-lisp/plt/plt-202.ebuild
new file mode 100644
index 000000000000..f90cbe42bb16
--- /dev/null
+++ b/dev-lisp/plt/plt-202.ebuild
@@ -0,0 +1,66 @@
+# Copyright 1999-2002 Gentoo Technologies, Inc.
+# Distributed under the terms of the GNU General Public License, v2 or later
+
+S=${WORKDIR}/${PN}/src
+DESCRIPTION="PLT Scheme, including DrScheme, mzscheme, mred, and mzc"
+SRC_URI="http://www.cs.utah.edu/plt/download/${PV}/plt/plt.src.x.tar.gz"
+HOMEPAGE="http://www.plt-scheme.org/software/drscheme/"
+
+DEPEND="virtual/glibc 
+	virtual/x11 
+	x11-libs/xaw 
+	sys-devel/gcc 
+	sys-devel/binutils"
+#RDEPEND=""
+
+KEYWORDS="~x86"
+SLOT="0"
+LICENSE="LGPL-2.1"
+
+src_compile() {
+#	cd src
+	./configure \
+		--host=${CHOST} \
+		--with-x \
+		--enable-mred \
+		--prefix=${D}/usr/share/plt || die "./configure failed"
+	make || die
+}
+
+src_install () {
+#	cd src
+	dodir usr/share/plt
+	make copytree || die
+	make mzinstall || die
+	make mrinstall || die
+	make lib-finish || die
+
+	dodir usr/bin
+
+	# compile scheme sources to make startup quicker
+	/usr/bin/env PLTHOME=${D}/usr/share/plt \
+	    ${D}/usr/share/plt/bin/setup-plt || die
+
+	# move man files to correct location and delete
+	# them out of plt tree
+	doman ${D}/usr/share/plt/man/man1/*
+	rm -r ${D}/usr/share/plt/man
+
+	# move misc package documentation to proper location
+	# and delete them out of plt tree
+	dodoc ${D}/usr/share/plt/notes/COPYING.LIB \
+	    ${D}/usr/share/plt/notes/mzscheme/*
+	rm -r ${D}/usr/share/plt/notes
+
+	# create executable scripts in /usr/bin which in turn call
+	# executables by the same name in /usr/share/plt with the
+	# correct PLTHOME path
+	for f in mzc tex2page help-desk mred mzscheme drscheme setup-plt
+	do
+	    target=${D}/usr/bin/$f
+	    echo '#! /bin/sh'> $target
+	    echo 'PLTHOME=/usr/share/plt ; export PLTHOME'>> $target
+	    echo 'exec ${PLTHOME}/bin/'$f' "$@"' >> $target
+	    chmod 755 $target
+	done
+}