blob: 0663363e10c2dede2bb041f0ab7c03b8325fff95 (
plain)
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
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
|
# Copyright 1999-2003 Gentoo Technologies, Inc.
# Distributed under the terms of the GNU General Public License v2
# $Header: /var/cvsroot/gentoo-x86/dev-lisp/plt/plt-202.ebuild,v 1.8 2003/12/12 07:49:50 brandy Exp $
DESCRIPTION="PLT Scheme, including DrScheme, mzscheme, mred, and mzc"
HOMEPAGE="http://www.plt-scheme.org/software/drscheme/"
SRC_URI="http://www.cs.utah.edu/plt/download/${PV}/plt/plt.src.x.tar.gz"
KEYWORDS="x86"
SLOT="0"
LICENSE="LGPL-2.1"
DEPEND="virtual/glibc
virtual/x11
sys-devel/gcc
sys-devel/binutils"
S=${WORKDIR}/${PN}/src
src_unpack() {
unpack ${A}
cd ${S}
epatch ${FILESDIR}/${P}-gcc3.3.patch.tar.bz2
}
src_compile() {
./configure \
--host=${CHOST} \
--with-x \
--enable-mred \
--prefix=${D}/usr/share/plt || die "./configure failed"
make || die
}
src_install() {
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
}
|
GitWeb
