/[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.2 - (show annotations) (download)
Sun Aug 10 20:24:12 2014 UTC (4 years, 4 months ago) by slyfox
Branch: MAIN
CVS Tags: HEAD
Changes since 1.1: +3 -3 lines
QA: drop trailing '.' from DESCRIPTION

(Portage version: 2.2.11_p9/cvs/Linux x86_64, signed Manifest commit with key 611FF3AA)

1 # Copyright 1999-2014 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.2.1.ebuild,v 1.1 2012/05/21 13:05:22 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