Go to:
Gentoo Home
Documentation
Forums
Lists
Bugs
Planet
Store
Wiki
Get Gentoo!
Gentoo's Bugzilla – Attachment 30177 Details for
Bug 49205
app-sci/mace4-2003b.ebuild (new package)
Home
|
New
–
[Ex]
|
Browse
|
Search
|
Privacy Policy
|
[?]
|
Reports
|
Requests
|
Help
|
New Account
|
Log In
[x]
|
Forgot Password
Login:
[x]
mace4-2003b.ebuild
mace4-2003b.ebuild (text/plain), 1.54 KB, created by
Thomas Veith (RETIRED)
on 2004-04-27 14:20:12 UTC
(
hide
)
Description:
mace4-2003b.ebuild
Filename:
MIME Type:
Creator:
Thomas Veith (RETIRED)
Created:
2004-04-27 14:20:12 UTC
Size:
1.54 KB
patch
obsolete
># Copyright 1999-2004 Gentoo Technologies, Inc. ># Distributed under the terms of the GNU General Public License v2 ># $Header: $ > >DESCRIPTION="Search for finite models of first-order statements" >HOMEPAGE="http://www-unix.mcs.anl.gov/AR/mace4/" > >MY_P="mace4-2003-B" > >SRC_URI="http://www-unix.mcs.anl.gov/AR/mace4/${MY_P}.tar.gz" > >LICENCSE="public-domain" >SLOT="0" >KEYWORDS="~x86" > >IUSE="icc" >DEPEND="icc? ( dev-lang/icc )" > >S="${WORKDIR}/${MY_P}" >src_compile() { > epatch ${FILESDIR}/gentoo-mace4.patch > > if use icc; then > local cpu="`get-flag march || get-flag mcpu`" > AR="xiar" CC="icc" CXXFLAGS="-O3 -march=${cpu} -ipo" CFLAGS="-O3 -march=${cpu} -ipo" make all || die > else > make all || die > fi > > make test1 || die > make test2 || die > make test3 || die >} > >src_install() { > dobin bin/* > > insinto /usr/share/doc/${PF} > > sed "s:example.sheffer25:examples-perl:g" < mace4/index.html > index.html > newins index.html readme.html > doins doc/mace4.pdf > doins doc/mace4.ps > > dodir /usr/share/doc/${PF}/ladr > dodir /usr/share/doc/${PF}/ladr/html > insinto /usr/share/doc/${PF}/ladr > doins ladr/index.html > insinto /usr/share/doc/${PF}/ladr/html > doins ladr/html/* > > dodir /usr/share/doc/${PF}/examples > insinto /usr/share/doc/${PF}/examples > doins examples/* > > dodir /usr/share/doc/${PF}/examples-aux > insinto /usr/share/doc/${PF}/examples-aux > doins examples-aux/* > > sed "s:../bin/:/usr/bin/:g" < examples-perl/index.html > tmp > mv tmp examples-perl/index.html > dodir /usr/share/doc/${PF}/examples-perl > insinto /usr/share/doc/${PF}/examples-perl > doins examples-aux/* >}
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 49205
:
30177
|
30178
|
298183
|
298185
|
298187
|
298189