From 61e8f232ed7835039d5075c6fc1adb6cec051fd2 Mon Sep 17 00:00:00 2001
From: Ramana Kumar
Date: Fri, 18 May 2018 11:16:39 +0100
Subject: Improve sail-heap dependencies in the Holmakefile

---
 snapshots/hol4/sail/lib/hol/Holmakefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'snapshots')

diff --git a/snapshots/hol4/sail/lib/hol/Holmakefile b/snapshots/hol4/sail/lib/hol/Holmakefile
index 38611ee1..adcbae6f 100644
--- a/snapshots/hol4/sail/lib/hol/Holmakefile
+++ b/snapshots/hol4/sail/lib/hol/Holmakefile
@@ -25,7 +25,7 @@ EXTRA_CLEANS = $(HOLHEAP) $(HOLHEAP).o
 
 BASE_HEAP = $(LEMDIR)/lemheap
 
-$(HOLHEAP):
+$(HOLHEAP): $(BASE_HEAP)
 	$(protect $(HOLDIR)/bin/buildheap) -o $(HOLHEAP) -b $(BASE_HEAP)
 
 all: $(HOLHEAP)
-- 
cgit v1.2.3