diff --git a/configure.ac b/configure.ac index 77dd9c56a..2922168f9 100644 --- a/configure.ac +++ b/configure.ac @@ -152,7 +152,7 @@ fi AC_PROG_OCAML AC_ASSERT_PROG([ocamlc], [$OCAMLC]) # check the version of OCaml -AC_ASSERT_OCAML_MIN_VERSION([4.02.0]) +AC_ASSERT_OCAML_MIN_VERSION([4.02.1]) AC_ASSERT_PROG([ocamlopt], [$OCAMLOPT]) AC_ASSERT_PROG([ocamlbuild], [$OCAMLBUILD]) AC_PROG_FINDLIB diff --git a/opam b/opam index 8985dfe7c..5eacfeea2 100644 --- a/opam +++ b/opam @@ -1,6 +1,6 @@ opam-version: "1.2" name: "infer" -version: "0.4.0" +version: "0.7.0" maintainer: "opam-devel@lists.ocaml.org" authors: "Facebook" homepage: "https://github.com/facebook/infer" @@ -13,6 +13,7 @@ build: [ ] install: [] remove: [] +ocaml-version: [ >= "4.02.1" ] depends: [ "ocamlfind" {build} "sawja" {>="1.5.1"}