Set dune root explicitly

QuickChick · May 25, 2022 · c979df5 · c979df5
1 parent a765baf
commit c979df5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/plugin/quickChick.mlg.cppo b/plugin/quickChick.mlg.cppo
@@ -203,7 +203,7 @@ let define_and_run c env evd =
        (*       let sed_cmd = Printf.sprintf "sed '2i   (name %s)' %s > %s" (Filename.chop_extension (Filename.basename mlf)) s (dir ^ "/" ^ s) in *)
        ignore (Sys.command awk_cmd);
        (* The command is just dune build *)
-       Printf.sprintf "cd %s && dune build --display=quiet > build.log 2> build.err" dir
+       Printf.sprintf "cd %s && dune build --root=. --display=quiet > build.log 2> build.err" dir
   in
   (* Overwrite execn in case of dune *)
   let execn =