diff --git a/ovo.opam b/ovo.opam index 443011ba10741186a42aa200d66e0d79e3685ece..6adaf24e86727f788f917646194c92d5384b7a05 100644 --- a/ovo.opam +++ b/ovo.opam @@ -9,7 +9,7 @@ depends: [ "odoc" {with-doc} ] build: [ - ["dune" "subst" "--root" "."] {dev} + ["dune" "subst"] {dev} [ "dune" "build" @@ -17,8 +17,7 @@ build: [ name "-j" jobs - "--promote-install-files" - "false" + "--promote-install-files=false" "@install" "@runtest" {with-test} "@doc" {with-doc}