From d65de6195e4274b38351bb380e706a874a0576aa Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Wed, 1 Oct 2014 17:28:47 +0100
Subject: Add file to download required libraries

---
 src/contrib/checkout.sh | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100755 src/contrib/checkout.sh

diff --git a/src/contrib/checkout.sh b/src/contrib/checkout.sh
new file mode 100755
index 00000000..63ce1532
--- /dev/null
+++ b/src/contrib/checkout.sh
@@ -0,0 +1,16 @@
+#!/bin/sh
+
+test -d batteries-included || (git clone https://github.com/ocaml-batteries-team/batteries-included.git && \
+    cd batteries-included && git checkout release-2.2.0)
+(cd batteries-included && make all)
+
+test -d bitstring || (git clone https://code.google.com/p/bitstring/ && \
+	cd bitstring && git checkout master)
+(cd bitstring && (test -e config.h || (aclocal && autoreconf && ./configure)) && make srcdir='$top_srcdir' )
+
+# To fix "-fno-defer-pop" build problem on Mac OS, brew install gcc
+# and make sure "gcc" runs the brew version (not clang). Or get ocaml
+# 4.01.0 via opam, which avoids this problem.
+test -d uint || (git clone https://github.com/andrenth/ocaml-uint.git && \
+	cd ocaml-uint && git checkout 1.1.x)
+(cd ocaml-uint && make)
-- 
cgit v1.2.3