1 files changed, 1 insertions, 2 deletions
diff --git a/coq.opam b/coq.opam
index 6aec0132be..50f746abec 100644
--- a/coq.opam
+++ b/coq.opam
@@ -29,7 +29,6 @@ depends: [
 
 build: [
   [ "./configure" "-prefix" prefix "-native-compiler" "no" ]
-  [ "dune" "build" "@vodeps" ]
-  [ "dune" "exec" "coq_dune" "_build/default/.vfiles.d" ]
+  [ "make" "-f" "Makefile.dune" "voboot" ]
   [ "dune" "build" "-p" name "-j" jobs ]
 ]