Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 49209 - app-sci/eqp-0.9d.ebuild (New Package)
Summary: app-sci/eqp-0.9d.ebuild (New Package)
Status: CONFIRMED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: New packages (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Default Assignee for New Packages
URL: http://www-unix.mcs.anl.gov/AR/eqp/
Whiteboard: sunrise suggested
Keywords: EBUILD
Depends on:
Blocks:
 
Reported: 2004-04-27 14:31 UTC by Thomas Veith (RETIRED)
Modified: 2018-06-07 18:25 UTC (History)
0 users

See Also:
Package list:
Runtime testing required: ---


Attachments
eqp-0.9d.ebuild (eqp-0.9d.ebuild,808 bytes, text/plain)
2004-04-27 14:32 UTC, Thomas Veith (RETIRED)
Details
gentoo-eqp-09d.diff (gentoo-eqp-09d.diff,4.05 KB, patch)
2004-04-27 14:33 UTC, Thomas Veith (RETIRED)
Details | Diff
Updated ebuild. (eqp-09e.ebuild,763 bytes, text/plain)
2010-07-10 09:54 UTC, dE
Details

Note You need to log in before you can comment on or make changes to this bug.
Description Thomas Veith (RETIRED) gentoo-dev 2004-04-27 14:31:25 UTC
Attached you find an ebuild and a patch to build EQP. Additionally, the compilation with Intels ICC is supported (USE="icc")

EQP is an automated theorem proving program for first-order equational logic. Its strengths are good implementations of associative-commutative unification and matching, a variety of strategies for equational reasoning, and fast search. It seems to perform well on many problems about lattice-like structures.

Reproducible: Always
Steps to Reproduce:
Comment 1 Thomas Veith (RETIRED) gentoo-dev 2004-04-27 14:32:21 UTC
Created attachment 30183 [details]
eqp-0.9d.ebuild

This ebuild and the attached patch allow to build eqp. Additionally intels
compiler are supported via USE-Flag.
Comment 2 Thomas Veith (RETIRED) gentoo-dev 2004-04-27 14:33:37 UTC
Created attachment 30185 [details, diff]
gentoo-eqp-09d.diff

This patch allows the use of userspecified CFLAGS (make.conf) and the
compilation of eqp with intels icc.
Comment 3 Jeremy Olexa (darkside) (RETIRED) archtester Gentoo Infrastructure gentoo-dev Security 2009-01-07 17:13:03 UTC
(this is an automated message based on filtering criteria that matched this bug)

Hello, The Gentoo Team would like to firstly thank you for your ebuild
submission. We also apologize for not being able to accommodate you in a timely
manner. There are simply too many new packages.

Allow me to use this opportunity to introduce you to Gentoo Sunrise. The sunrise overlay[1] is a overlay for Gentoo which we allow trusted users to commit to and all users can have ebuilds reviewed by Gentoo devs for entry into the overlay.
So, the sunrise team is suggesting that you look into this and submit your
ebuild to the overlay where even *you* can commit to. =)

Because this is a mass message, we are also asking you to be patient with us. We anticipate a large number of requests in a short time. 

Thanks,
On behalf of the Gentoo Sunrise Team,
Jeremy.

[1]: http://www.gentoo.org/proj/en/sunrise/
[2]: http://overlays.gentoo.org/proj/sunrise/wiki/SunriseFaq
Comment 4 dE 2010-07-10 09:54:51 UTC
Created attachment 238213 [details]
Updated ebuild.