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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 1.3 - (show annotations) (download)
Mon May 21 13:05:22 2012 UTC (2 years, 4 months ago) by phajdan.jr
Branch: MAIN
CVS Tags: HEAD
Changes since 1.2: +1 -1 lines
FILE REMOVED
Version bump. Remove old.

(Portage version: 2.1.10.49/cvs/Linux i686)

1 # Copyright 1999-2011 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.0.1.ebuild,v 1.2 2011/01/05 00:04:13 hwoarang Exp $
4
5 EAPI="2"
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.0.1-makefile.patch"
33 }
34
35 src_compile() {
36 emake -j1 || die
37 }
38
39 src_install() {
40 dobin spin || die
41 doman ../Man/spin.1 || die
42 dodoc ../Doc/* || die
43 if use tk; then
44 newbin "${WORKDIR}/Spin/iSpin/ispin.tcl" ispin || die
45 make_desktop_entry ispin
46 fi
47 }

  ViewVC Help
Powered by ViewVC 1.1.20