1 files changed, 7 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index a85f1fc0ab..ed8faaec45 100644
--- a/Makefile
+++ b/Makefile
@@ -207,6 +207,13 @@ parsing: $(PARSING)
 pretyping: $(PRETYPING)
 toplevel: $(TOPLEVEL)
 
+# special binaries for debugging
+
+EXTRACTIONCMO=contrib/extraction/ocaml.cmo contrib/extraction/extraction.cmo 
+
+bin/coq-extraction: $(COQMKTOP) $(CMO) $(USERTACCMO)
+	$(COQMKTOP) -top $(INCLUDES) $(CAMLDEBUG) -o $@ $(EXTRACTIONCMO)
+
 ###########################################################################
 # tests
 ###########################################################################