Get new contig example to build as part of -t1

HOL-Theorem-Prover · Jul 15, 2022 · ba57e71 · ba57e71
1 parent 6e4bd2f
commit ba57e71
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/examples/formal-languages/contig/Holmakefile b/examples/formal-languages/contig/Holmakefile
@@ -1 +1,2 @@
-INCLUDES = $(HOLDIR)/examples/formal-languages
+INCLUDES = $(HOLDIR)/examples/formal-languages $(HOLDIR)/src/string \
+           $(HOLDIR)/src/bag $(HOLDIR)/src/finite_maps
diff --git a/src/parallel_builds/core/Holmakefile b/src/parallel_builds/core/Holmakefile
@@ -32,6 +32,7 @@ EXDIRS = ARM/arm6-verification CCS Crypto/RSA Hoare-for-divergence MLsyntax \
 	 STE algorithms computability dependability dev \
          developers/ThmSetData \
 	 formal-languages formal-languages/context-free \
+         formal-languages/contig \
 	 formal-languages/lambek formal-languages/regular/regular-play \
 	 fun-op-sem/lprefix_lub fun-op-sem/for \
          hardware hfs \