Build real heap on top of core HOL heap (saving some time)

HOL-Theorem-Prover · Sep 26, 2024 · 938c94e · 938c94e
1 parent cfa24e2
commit 938c94e
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/src/real/analysis/Holmakefile b/src/real/analysis/Holmakefile
@@ -22,9 +22,8 @@ DEPS = $(patsubst %,%.uo,$(BARE_DEPS))
 
 all: $(HOLHEAP) selftest.exe
 
-$(HOLHEAP): $(DEPS) $(dprot $(HOLDIR)/src/num/termination/numheap)
-	$(protect $(HOLDIR)/bin/buildheap) $(DEBUG_FLAG) -o $@ \
-		-b $(protect $(HOLDIR)/src/num/termination/numheap) $(BARE_DEPS)
+$(HOLHEAP): $(DEPS) $(dprot $(HOLDIR)/bin/hol.state)
+	$(protect $(HOLDIR)/bin/buildheap) $(DEBUG_FLAG) -o $@ $(BARE_DEPS)
 endif
 
 ifeq ($(KERNELID),otknl)