reinit the tree, so we can have metadata

1 files changed, 47 insertions, 0 deletions

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..2d78f62dd3c0
--- /dev/null
+++ b/sci-mathematics/spin/spin-6.4.5.ebuild
@@ -0,0 +1,47 @@
+# Copyright 1999-2016 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+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
+}