add ora to VSUpile64 Makefile

PrincetonUniversity · Jan 20, 2025 · 4b9477b · 4b9477b
1 parent fa03c7b
commit 4b9477b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/progs64/VSUpile/Makefile b/progs64/VSUpile/Makefile
@@ -39,7 +39,7 @@ VOFILES = $(patsubst %.v,%.vo,$(CVFILES) $(VFILES))
 
 
 VST_DIRS= msl shared sepcomp veric zlist floyd
-VSTFLAGS= -R $(VST_LOC)/compcert compcert $(foreach d, $(VST_DIRS), -Q $(VST_LOC)/$(d) VST.$(d)) -R . pile
+VSTFLAGS= -R $(VST_LOC)/compcert compcert -Q $(VST_LOC)/ora/theories iris_ora $(foreach d, $(VST_DIRS), -Q $(VST_LOC)/$(d) VST.$(d)) -R . pile
 
 
 target: _CoqProject verif_main.vo simple_verif_main.vo fast/verif_fastmain.vo