diff options
Diffstat (limited to 'dev-ml/camlp4/files/oc409.patch')
| -rw-r--r-- | dev-ml/camlp4/files/oc409.patch | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/dev-ml/camlp4/files/oc409.patch b/dev-ml/camlp4/files/oc409.patch deleted file mode 100644 index 727762a64a2a..000000000000 --- a/dev-ml/camlp4/files/oc409.patch +++ /dev/null @@ -1,13 +0,0 @@ -Index: camlp4-4.08-1/configure -=================================================================== ---- camlp4-4.08-1.orig/configure -+++ camlp4-4.08-1/configure -@@ -39,7 +39,7 @@ if [ $major -lt 4 -o \( $major -eq 4 -a - echo "The standalone Camlp4 requires OCaml >= 4.02." - echo "For previous versions of OCaml use the Camlp4 distributed with OCaml." - exit 2 --elif [ $major -ne 4 -o $minor -ne 8 ]; then -+elif [ $major -lt 4 -o $minor -lt 8 ]; then - echo "This version of Camlp4 is for OCaml 4.07 but you are using OCaml $ocaml_version." - if [ -d .git ] ; then - if [ $PINNED -eq 1 ] ; then |