blob: f90cbe42bb1610702e5f64873c862ec92964e58f (
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
|
# 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
}
|
GitWeb
