diff options
Diffstat (limited to 'sci-mathematics/flocq/flocq-2.3.0.ebuild')
| -rw-r--r-- | sci-mathematics/flocq/flocq-2.3.0.ebuild | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/sci-mathematics/flocq/flocq-2.3.0.ebuild b/sci-mathematics/flocq/flocq-2.3.0.ebuild index 6c32445dc..a26aad130 100644 --- a/sci-mathematics/flocq/flocq-2.3.0.ebuild +++ b/sci-mathematics/flocq/flocq-2.3.0.ebuild @@ -2,7 +2,7 @@ # Distributed under the terms of the GNU General Public License v2 # $Header: $ -EAPI="3" +EAPI="5" DESCRIPTION="A floating-point formalization for the Coq system" HOMEPAGE="http://flocq.gforge.inria.fr/" @@ -14,6 +14,7 @@ KEYWORDS="~amd64 ~x86" IUSE="" DEPEND="sci-mathematics/coq" +RDEPEND="${DEPEND}" src_prepare() { sed -i Remakefile.in \ |