Go to:
Gentoo Home
Documentation
Forums
Lists
Bugs
Planet
Store
Wiki
Get Gentoo!
Gentoo's Bugzilla – Attachment 209909 Details for
Bug 111542
New package: spin (formal software systems verification tool)
Home
|
New
–
[Ex]
|
Browse
|
Search
|
Privacy Policy
|
[?]
|
Reports
|
Requests
|
Help
|
New Account
|
Log In
[x]
|
Forgot Password
Login:
[x]
spin 5.2.2 ebuild with patch for time
spin-5.2.2-r1.ebuild (text/plain), 1.34 KB, created by
Felix Wieczorek
on 2009-11-11 14:12:34 UTC
(
hide
)
Description:
spin 5.2.2 ebuild with patch for time
Filename:
MIME Type:
Creator:
Felix Wieczorek
Created:
2009-11-11 14:12:34 UTC
Size:
1.34 KB
patch
obsolete
># Copyright 1999-2006 Gentoo Foundation ># Distributed under the terms of the GNU General Public License v2 ># $Header: $ > >inherit eutils > >SPIN_PN="spin" >SPIN_PV="${PV}" >SPIN_CV="522" >SPIN_P="${SPIN_PN}-${SPIN_PV}" >SPIN_A="${SPIN_PN}${SPIN_CV}.tar.gz" >SPIN_S="${WORKDIR}/Spin" >SPIN_LICENSE="${FILESDIR}/SPIN-Commercial" >XSPIN_MAJOR_VER="5.2" > >DESCRIPTION="On-the-fly, LTL Model Checker" >HOMEPAGE="http://spinroot.com" >SRC_URI="http://spinroot.com/${SPIN_PN}/Src/${SPIN_A}" >LICENSE="SPIN-Commercial" >SLOT="0" >KEYWORDS="~x86 ~amd64" >IUSE="xspin dot" > ># Xspin requires Tcl/Tk >DEPEND="xspin? ( >=dev-lang/tcl-8.4 >=dev-lang/tk-8.4 ) > dot? ( media-gfx/graphviz )" > >S="${SPIN_S}" > >src_unpack() { > unpack ${A} >} > >src_compile() { > check_license ${SPIN_LICENSE} > > if use xspin; then > epatch "${FILESDIR}/${P}-xspin_time.patch" > # has to guess, because the version numbers are different from spin > XSPIN_TCL=$(find ${SPIN_S} -name 'xspin*') > mv ${XSPIN_TCL} ${SPIN_S}/Xspin${XSPIN_MAJOR_VER}/xspin > fi > cd ${SPIN_S}/Src${SPIN_PV} > emake -j1 || die "emake failed" > >} > >src_install() { > # install the executable > into /usr > dobin Src${SPIN_PV}/${SPIN_PN} > > if use xspin; then > dobin Xspin${XSPIN_MAJOR_VER}/xspin > fi > > # install the docs and man pages > into /usr > doman Man/${SPIN_PN}.* > dodoc Doc/* > > # install the license > insinto /usr/portage/licenses > doins ${SPIN_LICENSE} >}
You cannot view the attachment while viewing its details because your browser does not support IFRAMEs.
View the attachment on a separate page
.
View Attachment As Raw
Actions:
View
Attachments on
bug 111542
:
72164
|
72165
|
72166
|
72168
|
72251
|
72282
|
72283
|
72467
|
99827
|
99896
|
205022
| 209909 |
209910