From 9b7f2be3bbb8fd0e5b4362f13f88360c2308628e Mon Sep 17 00:00:00 2001 From: =?utf8?q?Pawe=C5=82=20Hajdan?= Date: Fri, 11 Jun 2010 14:31:38 +0000 Subject: [PATCH] Version bump. Package-Manager: portage-2.1.8.3/cvs/Linux i686 --- sci-mathematics/spin/ChangeLog | 8 ++- sci-mathematics/spin/Manifest | 6 ++- .../spin/files/spin-xspin-r1.patch | 26 +++++++++ sci-mathematics/spin/spin-5.2.5.ebuild | 54 +++++++++++++++++++ 4 files changed, 92 insertions(+), 2 deletions(-) create mode 100644 sci-mathematics/spin/files/spin-xspin-r1.patch create mode 100644 sci-mathematics/spin/spin-5.2.5.ebuild diff --git a/sci-mathematics/spin/ChangeLog b/sci-mathematics/spin/ChangeLog index af91d4d9cdda..6432b8eb02d9 100644 --- a/sci-mathematics/spin/ChangeLog +++ b/sci-mathematics/spin/ChangeLog @@ -1,6 +1,12 @@ # ChangeLog for sci-mathematics/spin # Copyright 1999-2010 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/spin/ChangeLog,v 1.1 2010/04/11 12:50:07 phajdan.jr Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/spin/ChangeLog,v 1.2 2010/06/11 14:31:38 phajdan.jr Exp $ + +*spin-5.2.5 (11 Jun 2010) + + 11 Jun 2010; Pawel Hajdan jr + +files/spin-xspin-r1.patch, +spin-5.2.5.ebuild: + Version bump. *spin-5.2.4 (11 Apr 2010) diff --git a/sci-mathematics/spin/Manifest b/sci-mathematics/spin/Manifest index 46ea04ca9115..be882923c50d 100644 --- a/sci-mathematics/spin/Manifest +++ b/sci-mathematics/spin/Manifest @@ -1,7 +1,11 @@ AUX spin-makefile.patch 583 RMD160 88941c0223492fa393b31f59be9e926fb36f4475 SHA1 2323ca5916fcbbe77c4f56eaeeff7173cbbd35f7 SHA256 ad06809f3538bbff5fc0245fc420dc74cdf06b1b5e81db9040af5765c717fd83 +AUX spin-xspin-r1.patch 916 RMD160 8bf4ee6d5243595907c52159b78a2f27d36500f8 SHA1 13c68d388fbf23eb985f021c9ebc2cf5d2dd1039 SHA256 fc9c22128697f93e68b1d0aad586fcdfc13a02fea11801bf826bd7c08899b2c5 AUX spin-xspin.patch 922 RMD160 f43706719dc0b9028d1cb2b021e2c946af40fc28 SHA1 3a41da3936d394a22a6adca66b02d82497f2f57f SHA256 f2ef6bf2286a8727eae81fc963609e12de2d80be0bbcb0857445db9f8ba0655c DIST spin524.tar.gz 362299 RMD160 bf07242f4f47e41365410604c43466cee05a9afc SHA1 91d2cf9c12a28947ce1934b0c007d7fb8f613575 SHA256 512249c5f8b0ba4eeac997f3a4e59767fc0ead782741e8414f3c0f9b9ad53865 +DIST spin525.tar.gz 413406 RMD160 8d01f8dd0da8c8013fbb8c6d6e9a8c40b8c5f33f SHA1 274649628c0c8ae3414b863c27a1b8d98a8e9921 SHA256 60e6ac1a10e7f543634e99d69d33a8bb03ea85c4251de67824e89826e1955360 DIST xspin523.tcl 194848 RMD160 108b3121bd8a6baa96bbe0634f7063bb6572052f SHA1 74914147f73892479cd2b17cc06cd24e9a01be04 SHA256 9ba55a92aa301043089460b1683551796b7ac6b2a2ff9b5e2dc308974d1d6e22 +DIST xspin525.tcl 194845 RMD160 26d85188070286739019405d49d3a2bd07545f90 SHA1 8166ccc6830f052e31162bec618c17452a988b5d SHA256 e23d8d562e39db6fe73570e52ee895cd806d15c3e52e638299cbc1eb61289eb6 EBUILD spin-5.2.4.ebuild 1277 RMD160 d040afe9876327375ca64fdbb1c97f9fe9c0aefe SHA1 03518ef6ab461c83c5689616a69bd419fb94b40a SHA256 fe8dd1b9ee70ab60b612fedbec4538d236a5011e95cd7e330d964a8370f76d78 -MISC ChangeLog 408 RMD160 a87eb1b384f547a80635de0e59f9359212a88ea2 SHA1 ceecf8fc27b2cffd61e72b9cabe38149cb5d3cfd SHA256 e527056adfd54ab17b986ac5c29f05fe640e77e0bfb49d742cb836b87c308fae +EBUILD spin-5.2.5.ebuild 1287 RMD160 923cfdc21cf3b247fc1c2ac1ddfa75dd53280f4f SHA1 320c8eb0473566ae2e007a645915eca4ab8ee96e SHA256 ddd954a228205b235a6e74976172febf3e8c5ded30aec790b20d32033cd8e41e +MISC ChangeLog 557 RMD160 8f130d89b328e274bac396f81b48ed1dd7bf11b9 SHA1 52fa9f5e5740d5e058903fd8548cb343234292c1 SHA256 8e56e59bf804f082f1b760cc386bd9b1851e335f3f43ba9fabe909a03b6c32ce MISC metadata.xml 260 RMD160 e9437033b7df4bdb32fdef6e886a1ed321a6f462 SHA1 f008d84bacf2428dafd6f33263898961dacf8c5e SHA256 c7f8354174de834aa476ee81d3412d85e1352a6647415dbeee403461b99ea19c diff --git a/sci-mathematics/spin/files/spin-xspin-r1.patch b/sci-mathematics/spin/files/spin-xspin-r1.patch new file mode 100644 index 000000000000..7606fa55a787 --- /dev/null +++ b/sci-mathematics/spin/files/spin-xspin-r1.patch @@ -0,0 +1,26 @@ +--- xspin.tcl.orig 2010-04-03 12:26:48.000000000 +0200 ++++ xspin.tcl 2010-04-03 12:27:26.000000000 +0200 +@@ -1,22 +1,4 @@ +-#!/bin/sh +-# the next line restarts using wish \ +-exec wish c:/cygwin/bin/xspin -- $* +- +-# cd ;# enable to cd to home directory by default +- +-# on PCs: +-# adjust the first argument to wish above with the name and +-# location of this tcl/tk file on your system, if different. +-# +-# Cygwin: +-# if you use cygwin, do not refer to the file as /usr/bin/xspin +-# /usr/bin is a symbolic link to /bin, which really +-# lives in c:/cygwin, hence the contortions above +-# +-# on Unix/Linux/Solaris systems +-# replace the first line with something like +-# #!/usr/bin/wish -f +-# using the pathname for the wish executable on your system ++#!/usr/bin/wish -f + + #======================================================================# + # Tcl/Tk Spin Controller, written by Gerard J. Holzmann, 1995-2009. # diff --git a/sci-mathematics/spin/spin-5.2.5.ebuild b/sci-mathematics/spin/spin-5.2.5.ebuild new file mode 100644 index 000000000000..7977a990ee44 --- /dev/null +++ b/sci-mathematics/spin/spin-5.2.5.ebuild @@ -0,0 +1,54 @@ +# Copyright 1999-2010 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/spin/spin-5.2.5.ebuild,v 1.1 2010/06/11 14:31:38 phajdan.jr Exp $ + +EAPI="2" + +inherit eutils versionator + +MY_PV=$(replace_all_version_separators '') +MY_P="${PN}${MY_PV}" + +DESCRIPTION="Tool for formal verification of distributed software systems." +HOMEPAGE="http://spinroot.com/" +SRC_URI="http://spinroot.com/spin/Src/${MY_P}.tar.gz + http://spinroot.com/spin/Src/xspin525.tcl" + +LICENSE="|| ( spin-commercial spin-educational )" +SLOT="0" +KEYWORDS="~x86" +IUSE="graphviz tk" + +DEPEND="sys-devel/bison" +RDEPEND="sys-devel/gcc + sys-process/time + tk? ( + dev-lang/tk + graphviz? ( media-gfx/graphviz ) + )" + +S="${WORKDIR}/Spin/Src${PV}" + +src_unpack() { + unpack "${MY_P}.tar.gz" + cp "${DISTDIR}/xspin525.tcl" "${S}/xspin.tcl" || die "cp failed" +} + +src_prepare() { + epatch "${FILESDIR}/${PN}-makefile.patch" + epatch "${FILESDIR}/${PN}-xspin-r1.patch" +} + +src_compile() { + emake -j1 || die "emake failed" +} + +src_install() { + dobin spin || die "dobin failed" + doman ../Man/spin.1 || die "doman failed" + dodoc ../Doc/* || die "dodoc failed" + if use tk; then + newbin xspin.tcl xspin || die "newbin failed" + make_desktop_entry xspin XSpin + fi +} -- 2.26.2