diff options
| author |   Samuli Suominen <ssuominen@gentoo.org> | 2010-10-18 18:30:08 +0000 |
|---|---|---|
| committer | Samuli Suominen <ssuominen@gentoo.org> | 2010-10-18 18:30:08 +0000 |
| commit | 4e738231eb26526c58d0317eb1a90fa2607483d3 (patch) | |
| tree | 44e3dde6e0ce83bad22dc42ae7cbcfc6282f56b2 /sci-mathematics/coq/files | |
| parent | Removing older versions. Made the remaining version block php 5.3 (diff) | |
| download | gentoo-2-4e738231eb26526c58d0317eb1a90fa2607483d3.tar.gz gentoo-2-4e738231eb26526c58d0317eb1a90fa2607483d3.tar.bz2 gentoo-2-4e738231eb26526c58d0317eb1a90fa2607483d3.zip | |
Fix ./configure with make >= 3.82 wrt #341187 by Diego E. Pettenò.
(Portage version: 2.2_rc97/cvs/Linux x86_64)
Diffstat (limited to 'sci-mathematics/coq/files')
| -rw-r--r-- | sci-mathematics/coq/files/coq-8.2_p2-make-3.82.patch | 13 |
1 files changed, 13 insertions, 0 deletions
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 |