diff options
| author |   Paweł Hajdan <phajdan.jr@gentoo.org> | 2011-05-05 11:16:03 +0000 |
|---|---|---|
| committer | Paweł Hajdan <phajdan.jr@gentoo.org> | 2011-05-05 11:16:03 +0000 |
| commit | 4a433adde535fe8fde96b07cac631e26265c0ca1 (patch) | |
| tree | 73c597da25ec6b221300bddfe970368bb1cbe806 /sci-mathematics/spin/spin-5.2.5-r1.ebuild | |
| parent | x86 stable wrt bug #365885 (diff) | |
| download | gentoo-2-4a433adde535fe8fde96b07cac631e26265c0ca1.tar.gz gentoo-2-4a433adde535fe8fde96b07cac631e26265c0ca1.tar.bz2 gentoo-2-4a433adde535fe8fde96b07cac631e26265c0ca1.zip | |
Version bump. Remove old.
(Portage version: 2.1.9.42/cvs/Linux i686)
Diffstat (limited to 'sci-mathematics/spin/spin-5.2.5-r1.ebuild')
| -rw-r--r-- | sci-mathematics/spin/spin-5.2.5-r1.ebuild | 55 |
1 files changed, 0 insertions, 55 deletions
diff --git a/sci-mathematics/spin/spin-5.2.5-r1.ebuild b/sci-mathematics/spin/spin-5.2.5-r1.ebuild deleted file mode 100644 index 7a98ed08e9f4..000000000000 --- a/sci-mathematics/spin/spin-5.2.5-r1.ebuild +++ /dev/null @@ -1,55 +0,0 @@ -# Copyright 1999-2011 Gentoo Foundation -# Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/spin/spin-5.2.5-r1.ebuild,v 1.2 2011/01/05 00:04:13 hwoarang Exp $ - -EAPI="2" - -inherit eutils versionator - -MY_PV=$(replace_all_version_separators '') -MY_P="${PN}${MY_PV}" - -DESCRIPTION="Tool for formal verification of distributed software systems." -HOMEPAGE="http://spinroot.com/" -SRC_URI="http://spinroot.com/spin/Src/${MY_P}.tar.gz - http://spinroot.com/spin/Src/xspin525.tcl" - -LICENSE="|| ( spin-commercial spin-educational )" -SLOT="0" -KEYWORDS="~amd64 ~x86" -IUSE="graphviz tk" - -DEPEND="sys-devel/bison" -RDEPEND="sys-devel/gcc - sys-process/time - tk? ( - dev-lang/tk - graphviz? ( media-gfx/graphviz ) - )" - -S="${WORKDIR}/Spin/Src${PV}" - -src_unpack() { - unpack "${MY_P}.tar.gz" - cp "${DISTDIR}/xspin525.tcl" "${S}/xspin.tcl" || die "cp failed" -} - -src_prepare() { - epatch "${FILESDIR}/${PN}-makefile.patch" - epatch "${FILESDIR}/${PN}-xspin-r1.patch" - epatch "${FILESDIR}/${PN}-font-size.patch" -} - -src_compile() { - emake -j1 || die "emake failed" -} - -src_install() { - dobin spin || die "dobin failed" - doman ../Man/spin.1 || die "doman failed" - dodoc ../Doc/* || die "dodoc failed" - if use tk; then - newbin xspin.tcl xspin || die "newbin failed" - make_desktop_entry xspin XSpin - fi -} |