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 /lib/hol | |
| parent | 839e0ac38379957ba9dd3981592d8e6bdcccf5ea (diff) | |
Improve sail-heap dependencies in the Holmakefile
Diffstat (limited to 'lib/hol')
| -rw-r--r-- | lib/hol/Holmakefile | 2 |
1 files changed, 1 insertions, 1 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) |