diff --git a/lutils.opam b/lutils.opam index e284bf45620f2f64f0de399eb19baeda52bb8f98..bb1ac0f6e9dfec32590320881613a8d6b182a56a 100644 --- a/lutils.opam +++ b/lutils.opam @@ -10,7 +10,7 @@ doc: "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/lustre-v6" depends: [ "ocaml" {>= "4.02"} - "dune" {>= "1.2"} + "dune" {>= "2.0"} "base-unix" "ocamlfind" "num" @@ -18,7 +18,6 @@ depends: [ build: [ ["dune" "build" "-p" name "-j" jobs] ] -install: [make "install"] post-messages: "The last version can be obtained via (opam repo add) http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository/" dev-repo: