diff --git a/.travis.yml b/.travis.yml index dc9acd8d..52b67066 100644 --- a/.travis.yml +++ b/.travis.yml @@ -7,8 +7,6 @@ matrix: # #- os: linux # env: OCAML_VERSION=system - - os: linux - env: OCAML_VERSION=4.02 - os: linux env: OCAML_VERSION=4.03 - os: linux diff --git a/INSTALL b/INSTALL index c8838bd4..4d0bca8a 100644 --- a/INSTALL +++ b/INSTALL @@ -50,7 +50,7 @@ On Windows: On other Unix systems: - * OCaml (>= 4.02.0) + * OCaml (>= 4.03.0) OCaml is available in most Linux distributions. It can also be downloaded from here: diff --git a/configure b/configure index 50fb87e9..ec1881ac 100755 --- a/configure +++ b/configure @@ -132,8 +132,8 @@ fi echo "ocaml version: $OCAML_VERSION" case $OCAML_VERSION in - 3.*|4.00.*|4.01.*) - echo "configure: error: OCaml version ($OCAML_VERSION) is too old -- need >= 4.02; See INSTALL for details" 1>&2 + 3.*|4.00.*|4.01.*|4.02.*) + echo "configure: error: OCaml version ($OCAML_VERSION) is too old -- need >= 4.03; See INSTALL for details" 1>&2 exit 1 ;; esac diff --git a/opam b/opam index bb5a53f9..0f1ab4e8 100644 --- a/opam +++ b/opam @@ -21,7 +21,7 @@ remove: [ ] flags: light-uninstall depends: [ - "ocaml" {>= "4.02.0"} + "ocaml" {>= "4.03"} "ocamlfind" {build} "easy-format" "ulex"