blob: 0d07567c41544ebe7ee93473456cc16597ddbcd0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
ifdef POLY
HOLHEAP_NAME = lemheap
EXTRA_CLEANS = $(HOLHEAP_NAME) $(HOLHEAP_NAME).o
BARE_DEPS = lemLib lemTheory lem_pervasivesTheory lem_pervasives_extraTheory lem_stringTheory lem_wordTheory
DEPS = $(patsubst %,%.uo,$(BARE_DEPS))
.PHONY: all
all: $(HOLHEAP_NAME)
$(HOLHEAP_NAME): $(DEPS)
rm -f $(HOLHEAP_NAME)
$(protect $(HOLDIR)/bin/buildheap) -o $@ $(BARE_DEPS)
endif
|
