/[gentoo-x86]/sci-mathematics/spin/spin-5.2.5-r1.ebuild
Gentoo

Contents of /sci-mathematics/spin/spin-5.2.5-r1.ebuild

Parent Directory Parent Directory | Revision Log Revision Log


Revision 1.1 - (hide annotations) (download)
Tue Jun 22 17:49:59 2010 UTC (8 years, 2 months ago) by phajdan.jr
Branch: MAIN
Apply a patch to make the font size more sane. Otherwise the toolbar buttons are not visible in default configuration.
(Portage version: 2.1.8.3/cvs/Linux i686)

1 phajdan.jr 1.1 # Copyright 1999-2010 Gentoo Foundation
2     # Distributed under the terms of the GNU General Public License v2
3     # $Header: /var/cvsroot/gentoo-x86/sci-mathematics/spin/spin-5.2.5.ebuild,v 1.1 2010/06/11 14:31:38 phajdan.jr Exp $
4    
5     EAPI="2"
6    
7     inherit eutils versionator
8    
9     MY_PV=$(replace_all_version_separators '')
10     MY_P="${PN}${MY_PV}"
11    
12     DESCRIPTION="Tool for formal verification of distributed software systems."
13     HOMEPAGE="http://spinroot.com/"
14     SRC_URI="http://spinroot.com/spin/Src/${MY_P}.tar.gz
15     http://spinroot.com/spin/Src/xspin525.tcl"
16    
17     LICENSE="|| ( spin-commercial spin-educational )"
18     SLOT="0"
19     KEYWORDS="~x86"
20     IUSE="graphviz tk"
21    
22     DEPEND="sys-devel/bison"
23     RDEPEND="sys-devel/gcc
24     sys-process/time
25     tk? (
26     dev-lang/tk
27     graphviz? ( media-gfx/graphviz )
28     )"
29    
30     S="${WORKDIR}/Spin/Src${PV}"
31    
32     src_unpack() {
33     unpack "${MY_P}.tar.gz"
34     cp "${DISTDIR}/xspin525.tcl" "${S}/xspin.tcl" || die "cp failed"
35     }
36    
37     src_prepare() {
38     epatch "${FILESDIR}/${PN}-makefile.patch"
39     epatch "${FILESDIR}/${PN}-xspin-r1.patch"
40     epatch "${FILESDIR}/${PN}-font-size.patch"
41     }
42    
43     src_compile() {
44     emake -j1 || die "emake failed"
45     }
46    
47     src_install() {
48     dobin spin || die "dobin failed"
49     doman ../Man/spin.1 || die "doman failed"
50     dodoc ../Doc/* || die "dodoc failed"
51     if use tk; then
52     newbin xspin.tcl xspin || die "newbin failed"
53     make_desktop_entry xspin XSpin
54     fi
55     }

  ViewVC Help
Powered by ViewVC 1.1.20