Go to:
Gentoo Home
Documentation
Forums
Lists
Bugs
Planet
Store
Wiki
Get Gentoo!
Gentoo's Bugzilla – Attachment 108961 Details for
Bug 165036
dev-utils/uppaal-4.0.4 (new ebuild)
Home
|
New
–
[Ex]
|
Browse
|
Search
|
Privacy Policy
|
[?]
|
Reports
|
Requests
|
Help
|
New Account
|
Log In
[x]
|
Forgot Password
Login:
[x]
dev-util/uppaal/uppaal-4.0.4.ebuild
uppaal-4.0.4.ebuild (text/plain), 1.11 KB, created by
Bjarke Freund-Hansen
on 2007-02-02 20:09:12 UTC
(
hide
)
Description:
dev-util/uppaal/uppaal-4.0.4.ebuild
Filename:
MIME Type:
Creator:
Bjarke Freund-Hansen
Created:
2007-02-02 20:09:12 UTC
Size:
1.11 KB
patch
obsolete
># Copyright 1999-2007 Gentoo Foundation ># Distributed under the terms of the GNU General Public License v2 ># $Header: $ > >FN="${P}.zip" > >DESCRIPTION="Uppaal is an integrated tool environment for modeling, validation and verification of real-time systems modeled as networks of timed automata, extended with data types (bounded integers, arrays, etc.)." >HOMEPAGE="http://uppaal.com/" >DOWNLOAD_URI="http://www.it.uu.se/research/group/darts/uppaal/download.shtml" >SRC_URI="${FN}" > >LICENSE="uppaal" >SLOT="0" >KEYWORDS="~x86" >IUSE="" > >RESTRICT="nomirror fetch nostrip" > >DEPEND="app-arch/unzip" >RDEPEND=">=virtual/jre-1.5" > >pkg_nofetch() { > einfo "Please download ${FN} from" > einfo "${DOWNLOAD_URI}" > einfo "and place it in ${DISTDIR}" >} > >src_unpack() { > unpack ${A} > cd ${S} > > sed -i -e "s:^HERE=.*$:HERE=\"/opt/${PN}\":" uppaal >} > >src_install() { > dodir /opt/${PN} > > doman man/man1/*.1 > dodoc README > docinto demo > dodoc demo/* > > > insinto /opt/${PN} > exeinto /opt/${PN} > > doexe uppaal > doins -r lib/ > doins uppaal.jar > > dosym /opt/${PN}/uppaal /opt/bin/uppaal > > dodir /opt/${PN}/bin-Linux > exeinto /opt/${PN}/bin-Linux > > doexe bin-Linux/* > >} >
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 165036
: 108961 |
108963