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

Contents of /sci-mathematics/spin/spin-5.2.5-r1.ebuild

Parent Directory Parent Directory | Revision Log Revision Log


Revision 1.3 - (show annotations) (download)
Thu May 5 11:16:02 2011 UTC (3 years, 3 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.9.42/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-5.2.5-r1.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 http://spinroot.com/spin/Src/xspin525.tcl"
16
17 LICENSE="|| ( spin-commercial spin-educational )"
18 SLOT="0"
19 KEYWORDS="~amd64 ~x86"
20 IUSE="graphviz tk"
21
22 DEPEND="sys-devel/bison"
23 RDEPEND="sys-devel/gcc
24 sys-process/time
25 tk? (
26 dev-lang/tk
27 graphviz? ( media-gfx/graphviz )
28 )"
29
30 S="${WORKDIR}/Spin/Src${PV}"
31
32 src_unpack() {
33 unpack "${MY_P}.tar.gz"
34 cp "${DISTDIR}/xspin525.tcl" "${S}/xspin.tcl" || die "cp failed"
35 }
36
37 src_prepare() {
38 epatch "${FILESDIR}/${PN}-makefile.patch"
39 epatch "${FILESDIR}/${PN}-xspin-r1.patch"
40 epatch "${FILESDIR}/${PN}-font-size.patch"
41 }
42
43 src_compile() {
44 emake -j1 || die "emake failed"
45 }
46
47 src_install() {
48 dobin spin || die "dobin failed"
49 doman ../Man/spin.1 || die "doman failed"
50 dodoc ../Doc/* || die "dodoc failed"
51 if use tk; then
52 newbin xspin.tcl xspin || die "newbin failed"
53 make_desktop_entry xspin XSpin
54 fi
55 }

  ViewVC Help
Powered by ViewVC 1.1.20