diff --git a/.gitignore b/.gitignore index 2d7627c834c7cd274681f3bc2d7632f43356b117..3e6fae7e63fcb802e0638b559cc6a5cec498f1c4 100644 --- a/.gitignore +++ b/.gitignore @@ -2,4 +2,4 @@ /clangml-transforms.install .merlin *~ -/clangml-transforms.opam + diff --git a/clangml-transforms.opam b/clangml-transforms.opam index 31fe2e2706d9b6ba3a96b321d2bfec07d54c8c5c..7708eb78ca662a6e419d19cdca66411e01089cd6 100644 --- a/clangml-transforms.opam +++ b/clangml-transforms.opam @@ -9,7 +9,7 @@ homepage: "https://gitlab.inria.fr/memcad/clangml-transforms" doc: "https://gitlab.inria.fr/memcad/clangml-transforms" bug-reports: "https://gitlab.inria.fr/memcad/clangml-transforms/issues" depends: [ - "ocaml" {>= "4.03.0" & < "4.12.0"} + "ocaml" {>= "4.03.0"} "dune" {>= "1.11.0"} "clangml" {>= "4.2.0"} "dolog" {>= "4.0.0"} diff --git a/dune-project b/dune-project index 319dbd2327d78a656cce398f3214362ccb4b160a..cee19a11e27b741bcdb678d97bef0ea3749b0214 100644 --- a/dune-project +++ b/dune-project @@ -16,7 +16,7 @@ (name clangml-transforms) (synopsis "Code transformers for clangml") (depends - (ocaml (and (>= 4.03.0) (< 4.12.0))) + (ocaml (>= 4.03.0)) (dune (>= 1.11.0)) (clangml (>= 4.2.0)) (dolog (>= 4.0.0))