Go to:
Gentoo Home
Documentation
Forums
Lists
Bugs
Planet
Store
Wiki
Get Gentoo!
Gentoo's Bugzilla – Attachment 157991 Details for
Bug 228861
rml-2.3.8.ebuild (New package)
Home
|
New
–
[Ex]
|
Browse
|
Search
|
Privacy Policy
|
[?]
|
Reports
|
Requests
|
Help
|
New Account
|
Log In
[x]
|
Forgot Password
Login:
[x]
Ebuild for RML
rml-2.3.8.ebuild (text/plain), 738 bytes, created by
Federico Zenith
on 2008-06-22 09:50:31 UTC
(
hide
)
Description:
Ebuild for RML
Filename:
MIME Type:
Creator:
Federico Zenith
Created:
2008-06-22 09:50:31 UTC
Size:
738 bytes
patch
obsolete
># Copyright 1999-2008 Gentoo Foundation ># Distributed under the terms of the GNU General Public License v2 ># $Header: $ > >DESCRIPTION="System for Structural Operational Semantics and Natural Semantics Specifications" >HOMEPAGE="http://www.ida.liu.se/~pelab/rml/" >SRC_URI="http://www.ida.liu.se/~pelab/rml/rml-ftp/src/${PN}-mmc-${PV}-src.tar.bz2" > >LICENSE="BSD" >SLOT="0" >KEYWORDS="~x86 ~amd64" >IUSE="" > >DEPEND="sys-apps/sed" >RDEPEND=">=dev-lang/smlnj-110.57" > >S="${WORKDIR}/${PN}-mmc-${PV}-src" > >src_compile() { > myconf="--prefix=${D}/usr/" > ${S}/configure ${myconf} || die "Configuration failed." > emake || die "Make failed." >} > >src_install() { > emake DESTDIR="${D}" install || die "Install failed." > sed -i -e "s|${D}||g" ${D}/usr/bin/* >}
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 228861
:
157991
|
158151
|
158187
|
158809
|
172401
|
172403