From 4e738231eb26526c58d0317eb1a90fa2607483d3 Mon Sep 17 00:00:00 2001 From: Samuli Suominen Date: Mon, 18 Oct 2010 18:30:08 +0000 Subject: Fix ./configure with make >= 3.82 wrt #341187 by Diego E. Pettenò. MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit (Portage version: 2.2_rc97/cvs/Linux x86_64) --- sci-mathematics/coq/files/coq-8.2_p2-make-3.82.patch | 13 +++++++++++++ 1 file changed, 13 insertions(+) create mode 100644 sci-mathematics/coq/files/coq-8.2_p2-make-3.82.patch (limited to 'sci-mathematics/coq/files') diff --git a/sci-mathematics/coq/files/coq-8.2_p2-make-3.82.patch b/sci-mathematics/coq/files/coq-8.2_p2-make-3.82.patch new file mode 100644 index 000000000000..af46977b932c --- /dev/null +++ b/sci-mathematics/coq/files/coq-8.2_p2-make-3.82.patch @@ -0,0 +1,13 @@ +http://bugs.gentoo.org/341187 + +--- configure ++++ configure +@@ -327,6 +327,8 @@ + case $MAKEVERSION in + "GNU Make 3.81") + echo "You have GNU Make 3.81. Good!";; ++ "GNU Make 3.82") ++ echo "You have GNU Make 3.82. Good!";; + *) + OK="no" + if [ -x ./make ]; then -- cgit v1.2.3-65-gdbad