examples/demos requires Karamel

FStarLang · Dec 12, 2023 · 32e05fa · 32e05fa
1 parent 5e3d5d9
commit 32e05fa
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/examples/Makefile b/examples/Makefile
@@ -37,7 +37,6 @@ INCLUDE_PATHS?= \
 	$(FSTAR_UCONTRIB)/Platform/fst \
 	$(shell ls -d dsls/*/) \
 	$(shell ls -d verifythis/*/) \
-	$(shell ls -d demos/*/) \
 	tactics/eci19
 
 include Makefile.common
@@ -52,6 +51,7 @@ SPECIAL_CASES += native_tactics
 endif
 
 ifdef KRML_HOME
+SPECIAL_CASES += demos
 SPECIAL_CASES += kv_parsing
 SPECIAL_CASES += miniparse
 endif