From 977748d1c05ea6f441aa0c53b9f3b1af5397c4ba Mon Sep 17 00:00:00 2001
From: spiralvoice <spiralvoice>
Date: Sun, 7 Jul 2013 11:46:34 +0000
Subject: [PATCH] patch #8114

---
 config/configure.in | 3 +++
 distrib/ChangeLog   | 1 +
 2 files changed, 4 insertions(+)

diff --git a/config/configure.in b/config/configure.in
index 58018bc1..ca810f73 100644
--- a/config/configure.in
+++ b/config/configure.in
@@ -615,6 +615,9 @@ if [ test "$BUILD_OCAML" = "yes" ] || [ test "$FORCE_OCAML" = "yes" ]; then
           $WGET http://caml.inria.fr/pub/distrib/ocaml-3.10/ocaml-"$REQUIRED_OCAML".tar.gz
         fi
         if test ! -f ocaml-"$REQUIRED_OCAML".tar.gz; then
+          $WGET http://caml.inria.fr/pub/distrib/ocaml-4.00/ocaml-"$REQUIRED_OCAML".tar.gz
+        fi
+        if test ! -f ocaml-"$REQUIRED_OCAML".tar.gz; then
           echo "********        download OCaml $REQUIRED_OCAML not successful, try do download it manually       *********" 1>&2;
           echo "********        from http://caml.inria.fr/pub/distrib/                                   *********" 1>&2;
           echo "********        and copy the tar.gz into $PATCH_DIR              *********" 1>&2;
diff --git a/distrib/ChangeLog b/distrib/ChangeLog
index 1dc67976..5bd3fcf7 100644
--- a/distrib/ChangeLog
+++ b/distrib/ChangeLog
@@ -15,6 +15,7 @@ ChangeLog
 =========
 
 2013/07/07:
+8114: Fix --enable-force-ocaml with Ocaml 4.00.x
 8111: http: New option http_root_url specifies root url for the web interface (ygrek)
 8113: IP discover: Fix broken URL
 8112: BT/HTML: select/unselect whole directories in BT multifile downloads (ygrek)
-- 
2.11.4.GIT