mirror of
https://github.com/pentoo/pentoo-overlay
synced 2026-01-02 13:58:15 +01:00
55 lines
1.1 KiB
Bash
55 lines
1.1 KiB
Bash
# Copyright 1999-2010 Gentoo Foundation
|
|
# Distributed under the terms of the GNU General Public License v2
|
|
# $Header: $
|
|
|
|
inherit eutils
|
|
|
|
MY_P="${P/_/-}"
|
|
DESCRIPTION="A secure remote execution framework using a compact Scheme-influenced VM"
|
|
HOMEPAGE="http://sourceforge.net/projects/mosref/"
|
|
SRC_URI="mirror://sourceforge/${PN}/${MY_P}.tar.gz
|
|
doc? ( mirror://sourceforge/${PN}/${MY_P}-documentation.tar.gz )"
|
|
|
|
LICENSE="LGPL-2"
|
|
SLOT="0"
|
|
KEYWORDS="~x86"
|
|
IUSE="doc sources"
|
|
|
|
RESTRICT="strip"
|
|
|
|
DEPEND=""
|
|
RDEPEND="${DEPEND}"
|
|
|
|
S="${WORKDIR}"/"${MY_P}"
|
|
|
|
src_unpack() {
|
|
for x in ${A}
|
|
do
|
|
unpack "${x}"
|
|
done
|
|
if use sources;then
|
|
cp -a "${MY_P}" "${MY_P}.src"
|
|
fi
|
|
}
|
|
|
|
src_compile() {
|
|
epatch "${FILESDIR}"/${PN}-gentoo.patch
|
|
make || die "make failed"
|
|
}
|
|
|
|
src_install() {
|
|
sed -i -e "s|%%DESTDIR%%|${D}usr|" bin/install.ms || die "sed failed"
|
|
emake install || die "emake install failed"
|
|
if use doc;then
|
|
dodoc doc/vm-implementation*
|
|
cd "${WORKDIR}"/"${PN}"-reference
|
|
dodoc *
|
|
fi
|
|
if use sources;then
|
|
einfo "Installing the sources for further cross-compile"
|
|
dodir /usr/src/
|
|
cd "${WORKDIR}"
|
|
rm -rf "${MY_P}.src"/doc
|
|
cp -R "${MY_P}.src" "${D}"/usr/src/"${P}"
|
|
fi
|
|
}
|