make depend for ora

PrincetonUniversity · Mar 19, 2024 · c6c8c22 · c6c8c22
1 parent bb1a813
commit c6c8c22
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -872,6 +872,9 @@ ifneq ($(wildcard InteractionTrees/theories),)
 #	$(COQDEP) -Q coq-ext-lib/theories ExtLib -Q paco/src Paco -Q InteractionTrees/theories ITree InteractionTrees/theories >>.depend
 	$(COQDEP) -Q paco/src Paco -Q InteractionTrees/theories ITree InteractionTrees/theories >>.depend
 endif
+ifneq ($(wildcard ora/theories),)
+	$(COQDEP) -Q ora/theories iris_ora >>.depend
+endif
 ifneq ($(wildcard fcf/src/FCF),)
 	$(COQDEP) -Q fcf/src/FCF FCF fcf/src/FCF/*.v >>.depend
 endif