Speedup examples/probability building process

HOL-Theorem-Prover · Mar 21, 2024 · e546764 · e546764
1 parent f97f4ff
commit e546764
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/examples/probability/Holmakefile b/examples/probability/Holmakefile
@@ -19,7 +19,8 @@ FULL_OBJPATHS = $(patsubst %,$(HOLDIR)/src/%.uo,$(OBJS)) \
 all: $(HOLHEAP)
 
 $(HOLHEAP): $(FULL_OBJPATHS) $(HOLDIR)/bin/hol.state
-	$(protect $(HOLDIR)/bin/buildheap) -o $@ $(FULL_OBJPATHS)
+	$(protect $(HOLDIR)/bin/buildheap) $(DEBUG_FLAG) -o $@ \
+            -b $(protect $(HOLDIR)/src/real/analysis/realheap) $(FULL_OBJPATHS)
 endif
 
 all: $(DEFAULT_TARGETS)

diff --git a/examples/probability/legacy/Holmakefile b/examples/probability/legacy/Holmakefile
@@ -3,6 +3,8 @@ INCLUDES = $(HOLDIR)/src/real $(HOLDIR)/src/res_quan/src $(HOLDIR)/src/real/anal
 
 EXTRA_CLEANS = $(patsubst %Theory.uo,%Theory.html,$(DEFAULT_TARGETS))
 
+HOLHEAP = $(protect $(HOLDIR)/src/real/analysis/realheap)
+
 all: $(DEFAULT_TARGETS)
 
 .PHONY: all