diff options
Diffstat (limited to 'src/contrib/checkout.sh')
| -rwxr-xr-x | src/contrib/checkout.sh | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/src/contrib/checkout.sh b/src/contrib/checkout.sh deleted file mode 100755 index 6d423e54..00000000 --- a/src/contrib/checkout.sh +++ /dev/null @@ -1,16 +0,0 @@ -#!/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 configure && make) |