1 files changed, 4 insertions, 0 deletions

diff --git a/Makefile b/Makefile
index 635885b191..c416172dbf 100644
--- a/Makefile
+++ b/Makefile
@@ -9,4 +9,8 @@
 ##########################################################################
 
 # The default build system is make-based one.
+ifndef COQ_USE_DUNE
 include Makefile.make
+else
+include Makefile.dune
+endif