Go to:
Gentoo Home
Documentation
Forums
Lists
Bugs
Planet
Store
Wiki
Get Gentoo!
Gentoo's Bugzilla – Attachment 72467 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-4.2.6.ebuild
spin-4.2.6.ebuild (text/plain), 1.81 KB, created by
Christian Schlotter
on 2005-11-08 13:11:20 UTC
(
hide
)
Description:
spin-4.2.6.ebuild
Filename:
MIME Type:
Creator:
Christian Schlotter
Created:
2005-11-08 13:11:20 UTC
Size:
1.81 KB
patch
obsolete
># Copyright 1999-2005 Gentoo Foundation ># Distributed under the terms of the GNU General Public License v2 ># $Header: $ > >inherit eutils > >MY_PV="426" >MY_XSPIN_PV="4.2" > >S=${WORKDIR}/Spin > >DESCRIPTION="Tool for formal verification of distributed software systems" >HOMEPAGE="http://spinroot.com/" >SRC_URI="http://spinroot.com/spin/Src/spin${MY_PV}.tar.gz" > >LICENSE="spin" >SLOT="0" >KEYWORDS="~x86" >IUSE="X graphviz" # xspin can use dot to produce prettier graphs > >RDEPEND="X? ( dev-lang/tcl > dev-lang/tk > graphviz? ( media-gfx/graphviz ) ) > sys-devel/gcc" >DEPEND="dev-util/yacc > ${RDEPEND}" > >src_unpack() { > unpack ${A} > > # correct path to wish > use X && epatch ${FILESDIR}/${P}-xspin_wish_path.patch > use X && epatch ${FILESDIR}/${P}-xspin_time_not_found.patch >} > >src_compile() { > cd Src${PV} > emake || die "Error: emake failed!" >} > >src_install() { > dobin Src${PV}/${PN} > doman Man/*.1 > dodoc Doc/* README.html > > use X && dobin Xspin${MY_XSPIN_PV}/xspin${MY_PV}.tcl > use X && dosym /usr/bin/xspin${MY_PV}.tcl /usr/bin/xspin >} > >pkg_postinst() { > einfo "Spin is distributed in source form to encourage research in formal" > einfo "verification, and to help a support friendly and open exchange of" > einfo "algorithms, ideas, and tools. The software itself has a copyright" > einfo "from Lucent Technologies and Bell Laboratories, and is distributed" > einfo "for research and educational purposes only (i.e., no guarantee of" > einfo "any kind is implied by the distribution of the code, and all rights" > einfo "are reserved by the copyright holder). For this general use of" > einfo "Spin, no license is required." > einfo > einfo "Commercial application of the Spin software is also allowed, but" > einfo "requires the acceptance of a basic license. Refer to the Spin" > einfo "Public license for details." > einfo > einfo "(see /usr/portage/licenses/spin)" >}
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