From: | "PaweA Hajdan (phajdan.jr)" <phajdan.jr@g.o> |
---|---|
To: | gentoo-commits@l.g.o |
Subject: | [gentoo-commits] gentoo-x86 commit in sci-mathematics/spin: ChangeLog spin-6.0.1.ebuild |
Date: | Sat, 01 Jan 2011 15:57:18 |
Message-Id: | 20110101155708.F0F1720054@flycatcher.gentoo.org |
1 | phajdan.jr 11/01/01 15:57:08 |
2 | |
3 | Modified: ChangeLog |
4 | Added: spin-6.0.1.ebuild |
5 | Log: |
6 | Version bump. |
7 | |
8 | (Portage version: 2.1.9.25/cvs/Linux i686) |
9 | |
10 | Revision Changes Path |
11 | 1.5 sci-mathematics/spin/ChangeLog |
12 | |
13 | file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/spin/ChangeLog?rev=1.5&view=markup |
14 | plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/spin/ChangeLog?rev=1.5&content-type=text/plain |
15 | diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/spin/ChangeLog?r1=1.4&r2=1.5 |
16 | |
17 | Index: ChangeLog |
18 | =================================================================== |
19 | RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/spin/ChangeLog,v |
20 | retrieving revision 1.4 |
21 | retrieving revision 1.5 |
22 | diff -u -r1.4 -r1.5 |
23 | --- ChangeLog 12 Oct 2010 11:16:28 -0000 1.4 |
24 | +++ ChangeLog 1 Jan 2011 15:57:08 -0000 1.5 |
25 | @@ -1,6 +1,12 @@ |
26 | # ChangeLog for sci-mathematics/spin |
27 | -# Copyright 1999-2010 Gentoo Foundation; Distributed under the GPL v2 |
28 | -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/spin/ChangeLog,v 1.4 2010/10/12 11:16:28 phajdan.jr Exp $ |
29 | +# Copyright 1999-2011 Gentoo Foundation; Distributed under the GPL v2 |
30 | +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/spin/ChangeLog,v 1.5 2011/01/01 15:57:08 phajdan.jr Exp $ |
31 | + |
32 | +*spin-6.0.1 (01 Jan 2011) |
33 | + |
34 | + 01 Jan 2011; Pawel Hajdan jr <phajdan.jr@g.o> +spin-6.0.1.ebuild, |
35 | + +files/spin-6.0.1-makefile.patch: |
36 | + Version bump. |
37 | |
38 | 12 Oct 2010; Pawel Hajdan jr <phajdan.jr@g.o> -spin-5.2.4.ebuild, |
39 | -spin-5.2.5.ebuild, files/spin-makefile.patch: |
40 | |
41 | |
42 | |
43 | 1.1 sci-mathematics/spin/spin-6.0.1.ebuild |
44 | |
45 | file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/spin/spin-6.0.1.ebuild?rev=1.1&view=markup |
46 | plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/spin/spin-6.0.1.ebuild?rev=1.1&content-type=text/plain |
47 | |
48 | Index: spin-6.0.1.ebuild |
49 | =================================================================== |
50 | # Copyright 1999-2011 Gentoo Foundation |
51 | # Distributed under the terms of the GNU General Public License v2 |
52 | # $Header: /var/cvsroot/gentoo-x86/sci-mathematics/spin/spin-6.0.1.ebuild,v 1.1 2011/01/01 15:57:08 phajdan.jr Exp $ |
53 | |
54 | EAPI="2" |
55 | |
56 | inherit eutils versionator |
57 | |
58 | MY_PV=$(replace_all_version_separators '') |
59 | MY_P="${PN}${MY_PV}" |
60 | |
61 | DESCRIPTION="Tool for formal verification of distributed software systems." |
62 | HOMEPAGE="http://spinroot.com/" |
63 | SRC_URI="http://spinroot.com/spin/Src/${MY_P}.tar.gz" |
64 | |
65 | LICENSE="|| ( spin-commercial spin-educational )" |
66 | SLOT="0" |
67 | KEYWORDS="~x86" |
68 | IUSE="graphviz tk" |
69 | |
70 | DEPEND="sys-devel/bison" |
71 | RDEPEND="sys-devel/gcc |
72 | sys-process/time |
73 | tk? ( |
74 | dev-lang/tk |
75 | graphviz? ( media-gfx/graphviz ) |
76 | )" |
77 | |
78 | S="${WORKDIR}/Spin/Src${PV}" |
79 | |
80 | src_prepare() { |
81 | epatch "${FILESDIR}/${PN}-6.0.1-makefile.patch" |
82 | } |
83 | |
84 | src_compile() { |
85 | emake -j1 || die |
86 | } |
87 | |
88 | src_install() { |
89 | dobin spin || die |
90 | doman ../Man/spin.1 || die |
91 | dodoc ../Doc/* || die |
92 | if use tk; then |
93 | newbin "${WORKDIR}/Spin/iSpin/ispin.tcl" ispin || die |
94 | make_desktop_entry ispin |
95 | fi |
96 | } |