1 files changed, 4 insertions, 4 deletions
diff --git a/Makefile b/Makefile
index 05e4cbcd..412fa775 100644
--- a/Makefile
+++ b/Makefile
@@ -36,18 +36,18 @@ DIRS := lib lib/Impure common $(ARCHDIRS) scheduling backend cfrontend driver \
 RECDIRS:=lib common $(ARCHDIRS) scheduling backend cfrontend driver flocq exportclight \
   cparser
 
-COQINCLUDES := $(foreach d, $(DIRS), -R $(d) compcert.$(subst /,.,$d))
+COQINCLUDES := $(foreach d, $(DIRS), -R $(d) kvx.$(subst /,.,$d))
 
 ifeq ($(LIBRARY_FLOCQ),local)
 DIRS += flocq/Core flocq/Prop flocq/Calc flocq/IEEE754
 RECDIRS += flocq
-COQINCLUDES += -R flocq Flocq
+COQINCLUDES += -R flocq kvx.Flocq
 endif
 
 ifeq ($(LIBRARY_MENHIRLIB),local)
 DIRS += MenhirLib
 RECDIRS += MenhirLib
-COQINCLUDES += -R MenhirLib MenhirLib
+COQINCLUDES += -R MenhirLib kvx.MenhirLib
 endif
 
 # Notes on silenced Coq warnings:
@@ -402,7 +402,7 @@ check-admitted: $(FILES)
 	@grep -w 'admit\|Admitted\|ADMITTED' $^ || echo "Nothing admitted."
 
 check-proof: $(FILES)
-	$(COQCHK) compcert.driver.Complements
+	$(COQCHK) kvx.driver.Complements
 
 print-includes:
 	@echo $(COQINCLUDES)