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:
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.
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.
(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
Created attachment 238213 [details] Updated ebuild.
