From 2771f79232c273bc2a57d23bf335dd81ccf6af28 Mon Sep 17 00:00:00 2001
From: V3n3RiX <venerix@koprulu.sector>
Date: Sun, 5 Dec 2021 02:47:11 +0000
Subject: gentoo resync : 05.12.2021

---
 sci-mathematics/spin/spin-6.4.5.ebuild | 47 ----------------------------------
 1 file changed, 47 deletions(-)
 delete mode 100644 sci-mathematics/spin/spin-6.4.5.ebuild

(limited to 'sci-mathematics/spin/spin-6.4.5.ebuild')

diff --git a/sci-mathematics/spin/spin-6.4.5.ebuild b/sci-mathematics/spin/spin-6.4.5.ebuild
deleted file mode 100644
index 010f2550a874..000000000000
--- a/sci-mathematics/spin/spin-6.4.5.ebuild
+++ /dev/null
@@ -1,47 +0,0 @@
-# Copyright 1999-2021 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI="5"
-
-inherit desktop epatch 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
-}
-- 
cgit v1.2.3