| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748 |
- # 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
- }
|
