/[gentoo-x86]/sci-mathematics/spin/spin-6.2.1.ebuild
Gentoo

Contents of /sci-mathematics/spin/spin-6.2.1.ebuild

Parent Directory Parent Directory | Revision Log Revision Log


Revision 1.1 - (show annotations) (download)
Mon May 21 13:05:22 2012 UTC (2 years, 7 months ago) by phajdan.jr
Branch: MAIN
Version bump. Remove old.

(Portage version: 2.1.10.49/cvs/Linux i686)

1 # Copyright 1999-2012 Gentoo Foundation
2 # Distributed under the terms of the GNU General Public License v2
3 # $Header: /var/cvsroot/gentoo-x86/sci-mathematics/spin/spin-6.1.0.ebuild,v 1.1 2011/05/05 11:16:02 phajdan.jr Exp $
4
5 EAPI="4"
6
7 inherit eutils versionator
8
9 MY_PV=$(replace_all_version_separators '')
10 MY_P="${PN}${MY_PV}"
11
12 DESCRIPTION="Tool for formal verification of distributed software systems."
13 HOMEPAGE="http://spinroot.com/"
14 SRC_URI="http://spinroot.com/spin/Src/${MY_P}.tar.gz"
15
16 LICENSE="|| ( spin-commercial spin-educational )"
17 SLOT="0"
18 KEYWORDS="~amd64 ~x86"
19 IUSE="graphviz tk"
20
21 DEPEND="sys-devel/bison"
22 RDEPEND="sys-devel/gcc
23 sys-process/time
24 tk? (
25 dev-lang/tk
26 graphviz? ( media-gfx/graphviz )
27 )"
28
29 S="${WORKDIR}/Spin/Src${PV}"
30
31 src_prepare() {
32 epatch "${FILESDIR}/${PN}-6.2.1-makefile.patch"
33 }
34
35 src_install() {
36 dobin spin
37 doman ../Man/spin.1
38 dodoc ../Doc/*
39 if use tk; then
40 newbin "${WORKDIR}/Spin/iSpin/ispin.tcl" ispin
41 make_desktop_entry ispin
42 fi
43 }

  ViewVC Help
Powered by ViewVC 1.1.20