1 files changed, 5 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 2c849f42..b3b7a124 100644
--- a/Makefile
+++ b/Makefile
@@ -205,6 +205,11 @@ extraction: extraction/STAMP
 extraction/STAMP: $(FILES:.v=.vo) extraction/extraction.v $(ARCH)/extractionMachdep.v
 	rm -f extraction/*.ml extraction/*.mli
 	$(COQEXEC) extraction/extraction.v
+	@if grep 'AXIOM TO BE REALIZED' extraction/*.ml; then \
+            echo "An error occured during extraction to OCaml code."; \
+            echo "Check the versions of Flocq and MenhirLib used."; \
+            exit 2; \
+         fi
 	touch extraction/STAMP
 
 .depend.extr: extraction/STAMP tools/modorder driver/Version.ml