From 87d5696867883fb6e16d1106c12a17baf0eebc94 Mon Sep 17 00:00:00 2001 From: Kathy Gray Date: Sat, 4 Oct 2014 16:28:05 +0100 Subject: configure uint before make --- src/contrib/checkout.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src') diff --git a/src/contrib/checkout.sh b/src/contrib/checkout.sh index 63ce1532..86c7b68d 100755 --- a/src/contrib/checkout.sh +++ b/src/contrib/checkout.sh @@ -13,4 +13,4 @@ test -d bitstring || (git clone https://code.google.com/p/bitstring/ && \ # 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) +(cd ocaml-uint && make configure && make) -- cgit v1.2.3