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 | 14f1dc12b498a4e2feb316faca9c6517605ac919 (patch) | |
| tree | 9e2e268ecbcb9b92c4fe8f803cc9986f509cc749 /sci-mathematics/coq/files | |
| parent | Removing older versions. Made the remaining version block php 5.3 (diff) | |
| download | historical-14f1dc12b498a4e2feb316faca9c6517605ac919.tar.gz historical-14f1dc12b498a4e2feb316faca9c6517605ac919.tar.bz2 historical-14f1dc12b498a4e2feb316faca9c6517605ac919.zip | |
Fix ./configure with make >= 3.82 wrt #341187 by Diego E. Pettenò.
Package-Manager: portage-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 |