Add libmGen to build sequence

CakeML · Oct 5, 2022 · 5bd7688 · 5bd7688
1 parent 0e96452
commit 5bd7688
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 0 deletions.
diff --git a/developers/build-sequence b/developers/build-sequence
@@ -132,6 +132,9 @@ icing/flover
 icing/
 icing/examples
 
+# Floating-Point codegen
+libmGen/
+
 # compiler translation
 compiler/repl
 

diff --git a/libmGen/Holmakefile b/libmGen/Holmakefile
@@ -6,6 +6,8 @@ INCLUDES = $(HOLDIR)/examples/formal-languages/context-free\
 	   $(CAKEMLDIR)/tools/flover\
 	   $(CAKEMLDIR)/tools/dandelion
 
+#Explicitly without $(DEFAULT_TARGETS) to reduce compilation time
+DEFAULT_TARGETS = atnDeg3Theory.sig
 all: $(DEFAULT_TARGETS) README.md
 .PHONY: all