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