Go to:
Gentoo Home
Documentation
Forums
Lists
Bugs
Planet
Store
Wiki
Get Gentoo!
Gentoo's Bugzilla – Attachment 30179 Details for
Bug 49208
app-sci/sem-1.7.ebuild (New Package)
Home
|
New
–
[Ex]
|
Browse
|
Search
|
Privacy Policy
|
[?]
|
Reports
|
Requests
|
Help
|
New Account
|
Log In
[x]
|
Forgot Password
Login:
[x]
sem-1.7.ebuild
sem-1.7.ebuild (text/plain), 916 bytes, created by
Thomas Veith (RETIRED)
on 2004-04-27 14:27:12 UTC
(
hide
)
Description:
sem-1.7.ebuild
Filename:
MIME Type:
Creator:
Thomas Veith (RETIRED)
Created:
2004-04-27 14:27:12 UTC
Size:
916 bytes
patch
obsolete
># Copyright 1999-2004 Gentoo Technologies, Inc. ># Distributed under the terms of the GNU General Public License v2 ># $Header: $ > >DESCRIPTION="System for Enumerating finite Models of first-order many-sorted theories" > >HOMEPAGE="http://www.cs.uiowa.edu/~hzhang/sem.html" > >SRC_URI="ftp://ftp.cs.uiowa.edu/pub/hzhang/sem/sem.tar.Z" > >LICENCSE="public-domain" >KEYWORDS="~x86" > >SLOT="0" > >IUSE="icc" >DEPEND="app-text/tetex \ > app-text/ghostscript \ > icc? ( dev-lang/icc )" > >S="${WORKDIR}/sem1.7" >src_compile() { > epatch ${FILESDIR}/gentoo-sem-1.7.diff > > if use icc; then > local cpu="`get-flag march || get-flag mcpu`" > CC="icc" CXXFLAGS="-O3 -march=${cpu} -ipo" CFLAGS="-O3 -march=${cpu} -ipo" make || die > else > make || die > fi > > latex sem-man.tex > latex sem-man.tex > > dvipdf sem-man.dvi >} > > > >src_install() { > dobin sem > > dodoc README > > cp sem-man.pdf ${D}/usr/share/doc/${PF} > cp -a examples ${D}/usr/share/doc/${PF} >}
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 49208
: 30179 |
30181
|
237981
|
238035