diff options
| author | Kathy Gray | 2014-10-04 16:28:05 +0100 |
|---|---|---|
| committer | Kathy Gray | 2014-10-04 16:28:05 +0100 |
| commit | 87d5696867883fb6e16d1106c12a17baf0eebc94 (patch) | |
| tree | 4f66c669165a13e32a9aa10e788de58ac1d44b66 /src | |
| parent | 217dd9cb329831d5302ebaa4c3ab168d85cebaaf (diff) | |
configure uint before make
Diffstat (limited to 'src')
| -rwxr-xr-x | src/contrib/checkout.sh | 2 |
1 files changed, 1 insertions, 1 deletions
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) |