by default just build source

uwplse · Dec 13, 2017 · 68931c9 · 68931c9
1 parent ffa23e8
commit 68931c9
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/configure b/configure
@@ -1,8 +1,8 @@
 #!/usr/bin/env bash
 
-echo NOTE: Skipping building verdi demo and shim_verif because SourceLifted reflection is not yet implementd
-#DIRS=(src demos/verdi/echo shim_verif)
-DIRS=(src demos/sha256 demos/list_max)
+echo NOTE: Skipping building all demos, edit configure file to enable
+#DIRS=(src demos/verdi/echo shim_verif demos/sha256 demos/list_max)
+DIRS=(src)
 NAMESPACE_compcert=compcert
 LOCALDEPS=(compcert)
 DEPS=(StructTact PrettyParsing)