Bug 49209

Summary:	app-sci/eqp-0.9d.ebuild (New Package)
Product:	Gentoo Linux	Reporter:	Thomas Veith (RETIRED) <xtv>
Component:	New packages	Assignee:	Default Assignee for New Packages <maintainer-wanted>
Status:	CONFIRMED ---
Severity:	normal	Keywords:	EBUILD
Priority:	Normal
Version:	unspecified
Hardware:	All
OS:	Linux
URL:	http://www-unix.mcs.anl.gov/AR/eqp/
Whiteboard:	sunrise suggested
Package list:		Runtime testing required:	---
Attachments:	eqp-0.9d.ebuild gentoo-eqp-09d.diff Updated ebuild.

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

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.