diff options
| author | Ramana Kumar | 2018-05-18 11:16:39 +0100 |
|---|---|---|
| committer | Ramana Kumar | 2018-05-18 11:16:39 +0100 |
| commit | 61e8f232ed7835039d5075c6fc1adb6cec051fd2 (patch) | |
| tree | be705c5c439b15bda3f975b7b236333996a0d4c7 | |
| parent | 839e0ac38379957ba9dd3981592d8e6bdcccf5ea (diff) | |
Improve sail-heap dependencies in the Holmakefile
| -rw-r--r-- | lib/hol/Holmakefile | 2 | ||||
| -rw-r--r-- | snapshots/hol4/sail/lib/hol/Holmakefile | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/lib/hol/Holmakefile b/lib/hol/Holmakefile index 6698e210..eaa90668 100644 --- a/lib/hol/Holmakefile +++ b/lib/hol/Holmakefile @@ -24,7 +24,7 @@ EXTRA_CLEANS = $(LEM_CLEANS) $(HOLHEAP) $(HOLHEAP).o BASE_HEAP = $(LEMDIR)/lemheap -$(HOLHEAP): +$(HOLHEAP): $(BASE_HEAP) $(protect $(HOLDIR)/bin/buildheap) -o $(HOLHEAP) -b $(BASE_HEAP) all: $(HOLHEAP) 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) |