diff --git a/tools/check/check_ocaml b/tools/check/check_ocaml new file mode 100755 index 0000000..a29a345 --- /dev/null +++ b/tools/check/check_ocaml @@ -0,0 +1,13 @@ +#!/bin/sh +# CHECK-BUILD + +. ./funcs.sh + +case $OS in +Linux) + has ocamlopt >/dev/null || warning "missing ocaml native compiler" + ;; +*) + + ;; +esac