diff options
Diffstat (limited to 'dev-ml/camlp4/files/oc409.patch')
-rw-r--r-- | dev-ml/camlp4/files/oc409.patch | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/dev-ml/camlp4/files/oc409.patch b/dev-ml/camlp4/files/oc409.patch new file mode 100644 index 000000000000..727762a64a2a --- /dev/null +++ b/dev-ml/camlp4/files/oc409.patch @@ -0,0 +1,13 @@ +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 |