diff options
author | V3n3RiX <venerix@koprulu.sector> | 2021-12-05 02:47:11 +0000 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2021-12-05 02:47:11 +0000 |
commit | 2771f79232c273bc2a57d23bf335dd81ccf6af28 (patch) | |
tree | c8af0fd04194aed03cf067d44e53c7edd3e9ab84 /sci-mathematics/spin/spin-6.4.5.ebuild | |
parent | e9d044d4b9b71200a96adfa280848858c0f468c9 (diff) |
gentoo resync : 05.12.2021
Diffstat (limited to 'sci-mathematics/spin/spin-6.4.5.ebuild')
-rw-r--r-- | sci-mathematics/spin/spin-6.4.5.ebuild | 47 |
1 files changed, 0 insertions, 47 deletions
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 -} |