Go to:
Gentoo Home
Documentation
Forums
Lists
Bugs
Planet
Store
Wiki
Get Gentoo!
Gentoo's Bugzilla – Attachment 238213 Details for
Bug 49209
app-sci/eqp-0.9d.ebuild (New Package)
Home
|
New
–
[Ex]
|
Browse
|
Search
|
Privacy Policy
|
[?]
|
Reports
|
Requests
|
Help
|
New Account
|
Log In
[x]
|
Forgot Password
Login:
[x]
Updated ebuild.
eqp-09e.ebuild (text/plain), 763 bytes, created by
dE
on 2010-07-10 09:54:51 UTC
(
hide
)
Description:
Updated ebuild.
Filename:
MIME Type:
Creator:
dE
Created:
2010-07-10 09:54:51 UTC
Size:
763 bytes
patch
obsolete
># Copyright 1999-2010 Gentoo Foundation ># Distributed under the terms of the GNU General Public License v2 ># $Header: $ > >EAPI="3" > >DESCRIPTION="This is a theorem prover for equational logic." >HOMEPAGE="http://www.mcs.anl.gov/AR/eqp/" >SRC_URI="http://www.cs.unm.edu/~mccune/old-ftp/eqp-09e.tar.gz" > >LICENSE="Unknown, you can download the sources though." >SLOT="0" >KEYWORDS="~amd64" >IUSE="" > >src_unpack () >{ > unpack $A > #Use env CFLAGS > cat $WORKDIR/$P/Makefile | grep --invert-match ^CFLAGS > $WORKDIR/$P/Makefile > #This package fails to compile with ldflags. > LDFLAGS="" >} > >src_compile() >{ > emake eqp || die "Compile phase failed." >} >src_install() >{ > mkdir -p $PORTAGE_BUILDDIR/image/usr/bin > cp $WORKDIR/$P/eqp09e $PORTAGE_BUILDDIR/image/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 49209
:
30183
|
30185
| 238213