From 871ce492496848b00bdb5fffda7e4609a87fdbe0 Mon Sep 17 00:00:00 2001 From: malc Date: Wed, 4 Jan 2017 15:44:29 +0300 Subject: [PATCH] Safety net --- build.sh | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/build.sh b/build.sh index c9347bc..8d0e6be 100644 --- a/build.sh +++ b/build.sh @@ -6,6 +6,11 @@ if test x"$1" = x; then else builddir="$1" fi +test $(ocamlc --version | awk -F. '{print $1 $2}') -lt 404 && { + echo "OCaml version 4.04.0 or higher required" + exit 1 +} || true + test x"$2" = "x" || cty="$2" && cty="" ccopt="$CFLAGS -Wno-pointer-sign -O2" -- 2.11.4.GIT