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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 1.2 - (show annotations) (download)
Tue Oct 12 11:16:29 2010 UTC (3 years, 10 months ago) by phajdan.jr
Branch: MAIN
CVS Tags: HEAD
Changes since 1.1: +1 -1 lines
FILE REMOVED
Respect LDFLAGS, bug #337093 by flameeyes. Remove old.
(Portage version: 2.1.8.3/cvs/Linux i686)

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 }
41
42 src_compile() {
43 emake -j1 || die "emake failed"
44 }
45
46 src_install() {
47 dobin spin || die "dobin failed"
48 doman ../Man/spin.1 || die "doman failed"
49 dodoc ../Doc/* || die "dodoc failed"
50 if use tk; then
51 newbin xspin.tcl xspin || die "newbin failed"
52 make_desktop_entry xspin XSpin
53 fi
54 }

  ViewVC Help
Powered by ViewVC 1.1.20