diff options
Diffstat (limited to 'sci-mathematics/spin')
| -rw-r--r-- | sci-mathematics/spin/Manifest | 1 | ||||
| -rw-r--r-- | sci-mathematics/spin/files/spin-6.4.5-makefile.patch | 20 | ||||
| -rw-r--r-- | sci-mathematics/spin/spin-6.4.5.ebuild | 48 |
3 files changed, 69 insertions, 0 deletions
diff --git a/sci-mathematics/spin/Manifest b/sci-mathematics/spin/Manifest index 91ce7239329a..edf4e3780f46 100644 --- a/sci-mathematics/spin/Manifest +++ b/sci-mathematics/spin/Manifest @@ -1,3 +1,4 @@ DIST spin621.tar.gz 463101 SHA256 2b3a9163e1bce4cb6402550819f6e190449e0e5aeb7b81630a017e130f7921cb SHA512 b10a306bc48b964f8fefec07ee9745ae62faee8af3a62d4f7cc24ee808f69cbc7705b9f33782f76dd28e3ab7a5eeb645759763edc702bf8cb81645ddf3f796b7 WHIRLPOOL 13bb5f820167248857c97ce4e05ab7411f4209da69edc5391aa18ef905825794f1db2d5fb933f4bb2e9b332638b7be8de2bd27b338c4b36314a4cac874a92ba8 DIST spin623.tar.gz 465637 SHA256 a056a7d360c4ab0322e5e8d09c6a0f23178b2ad471413e208136c5a29f1650ec SHA512 7a4faeee95a8c10b6a875e6bbfe6fdab91f982401601cd33d2701a8001ee27aa21738fe10e01720505b54f9b1369e0e79ae19bdf7909b0ef23bc49f70d76992b WHIRLPOOL 7bb4450313037c65ba0326b3261584592950060fdc28de6bb968958ed7f75976ee45d72499970a08e44021a71d70c2aa61f12072d5a1be266f07968a17db0890 DIST spin625.tar.gz 468314 SHA256 3273c15af419912b00f1a3b9683af8f516a6a2afae788a575006d5fee0ecf330 SHA512 1679fb52981da762f6a5955116bfa0906bf12de7a219319fedf7ba068ba0c2ad51aa6a49d3b30115391f7070c7169c7c0753a23ef95257d350a9160e2d1f3ded WHIRLPOOL 6d4743449b28f0bd132fe69ea37160c4cce258d020883297f76df34e01e1acaf236c420f2aca600994d310d029051cc0bb2378237efa11903695018144c02733 +DIST spin645.tar.gz 672549 SHA256 44081282eb63cd9df763ebbcf8bad19dbeefecbebf8ac2cc090ea92e2ab71875 SHA512 77bc35bb852c0448915c655bf11910d0b226d30d66abaa63311e6227de03f920ca026e7399cbeebdae631368fd8091f1e8330bd3094bd4febdf7d5c7a81834ad WHIRLPOOL 15fb07d6c0dac8d054cefe2810588ece60bf67bbb920f6ee8800b391b00fbf93d7f7f21988ac7dd84aa644a88a27524af8462fbb4cec438eaee11159683ce2af diff --git a/sci-mathematics/spin/files/spin-6.4.5-makefile.patch b/sci-mathematics/spin/files/spin-6.4.5-makefile.patch new file mode 100644 index 000000000000..64b76ec484f0 --- /dev/null +++ b/sci-mathematics/spin/files/spin-6.4.5-makefile.patch @@ -0,0 +1,20 @@ +--- makefile.orig 2016-01-09 12:51:10.260008241 +0100 ++++ makefile 2016-01-09 12:52:04.666673549 +0100 +@@ -7,8 +7,6 @@ + # see also ./make_pc for a simpler script not requiring make + # for 32-bit compilation, use ./make32 + +-CC=gcc +-CFLAGS=-O2 -DNXT # on some systems add: -I/usr/include + # on a PC: add -DPC + # on Solaris: add -DSOLARIS + # on a Mac: add -DMAC +@@ -37,7 +35,7 @@ + tl_mem.o tl_rewrt.o tl_cache.o + + spin: $(SPIN_OS) $(TL_OS) spin.o +- $(CC) $(CFLAGS) -o spin spin.o $(SPIN_OS) $(TL_OS) ++ $(CC) $(CFLAGS) $(LDFLAGS) -o spin spin.o $(SPIN_OS) $(TL_OS) + + install: spin + cp spin /usr/local/bin diff --git a/sci-mathematics/spin/spin-6.4.5.ebuild b/sci-mathematics/spin/spin-6.4.5.ebuild new file mode 100644 index 000000000000..5b32111f7a6e --- /dev/null +++ b/sci-mathematics/spin/spin-6.4.5.ebuild @@ -0,0 +1,48 @@ +# Copyright 1999-2016 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 +# $Id$ + +EAPI="5" + +inherit eutils toolchain-funcs 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" + +LICENSE="BSD" +SLOT="0" +KEYWORDS="~amd64 ~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_prepare() { + epatch "${FILESDIR}/${PN}-6.4.5-makefile.patch" +} + +src_compile() { + tc-export CC + default +} + +src_install() { + dobin spin + doman ../Man/spin.1 + dodoc ../Doc/* + if use tk; then + newbin "${WORKDIR}/Spin/iSpin/ispin.tcl" ispin + make_desktop_entry ispin + fi +} |