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.2.3.ebuild spin-6.1.0.ebuild |
Date: | Sun, 30 Dec 2012 18:30:10 |
Message-Id: | 20121230183000.D5BE12171D@flycatcher.gentoo.org |
1 | phajdan.jr 12/12/30 18:30:00 |
2 | |
3 | Modified: ChangeLog |
4 | Added: spin-6.2.3.ebuild |
5 | Removed: spin-6.1.0.ebuild |
6 | Log: |
7 | Version bump. Fix bug #439352 by flameeyes (cc called directly). Remove old. |
8 | |
9 | (Portage version: 2.1.11.31/cvs/Linux i686, signed Manifest commit with key 30427902) |
10 | |
11 | Revision Changes Path |
12 | 1.9 sci-mathematics/spin/ChangeLog |
13 | |
14 | file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/spin/ChangeLog?rev=1.9&view=markup |
15 | plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/spin/ChangeLog?rev=1.9&content-type=text/plain |
16 | diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/spin/ChangeLog?r1=1.8&r2=1.9 |
17 | |
18 | Index: ChangeLog |
19 | =================================================================== |
20 | RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/spin/ChangeLog,v |
21 | retrieving revision 1.8 |
22 | retrieving revision 1.9 |
23 | diff -u -r1.8 -r1.9 |
24 | --- ChangeLog 21 May 2012 13:05:22 -0000 1.8 |
25 | +++ ChangeLog 30 Dec 2012 18:30:00 -0000 1.9 |
26 | @@ -1,6 +1,12 @@ |
27 | # ChangeLog for sci-mathematics/spin |
28 | # Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2 |
29 | -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/spin/ChangeLog,v 1.8 2012/05/21 13:05:22 phajdan.jr Exp $ |
30 | +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/spin/ChangeLog,v 1.9 2012/12/30 18:30:00 phajdan.jr Exp $ |
31 | + |
32 | +*spin-6.2.3 (30 Dec 2012) |
33 | + |
34 | + 30 Dec 2012; Pawel Hajdan jr <phajdan.jr@g.o> -spin-6.1.0.ebuild, |
35 | + +spin-6.2.3.ebuild: |
36 | + Version bump. Fix bug #439352 by flameeyes (cc called directly). Remove old. |
37 | |
38 | *spin-6.2.1 (21 May 2012) |
39 | |
40 | |
41 | |
42 | |
43 | 1.1 sci-mathematics/spin/spin-6.2.3.ebuild |
44 | |
45 | file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/spin/spin-6.2.3.ebuild?rev=1.1&view=markup |
46 | plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/spin/spin-6.2.3.ebuild?rev=1.1&content-type=text/plain |
47 | |
48 | Index: spin-6.2.3.ebuild |
49 | =================================================================== |
50 | # Copyright 1999-2012 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.2.3.ebuild,v 1.1 2012/12/30 18:30:00 phajdan.jr Exp $ |
53 | |
54 | EAPI="5" |
55 | |
56 | inherit eutils toolchain-funcs 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="~amd64 ~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.2.1-makefile.patch" |
82 | } |
83 | |
84 | src_compile() { |
85 | tc-export CC |
86 | default |
87 | } |
88 | |
89 | src_install() { |
90 | dobin spin |
91 | doman ../Man/spin.1 |
92 | dodoc ../Doc/* |
93 | if use tk; then |
94 | newbin "${WORKDIR}/Spin/iSpin/ispin.tcl" ispin |
95 | make_desktop_entry ispin |
96 | fi |
97 | } |