diff options
Diffstat (limited to 'snapshots/hol4/lem/hol-lib/Holmakefile')
| -rw-r--r-- | snapshots/hol4/lem/hol-lib/Holmakefile | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/snapshots/hol4/lem/hol-lib/Holmakefile b/snapshots/hol4/lem/hol-lib/Holmakefile new file mode 100644 index 00000000..0d07567c --- /dev/null +++ b/snapshots/hol4/lem/hol-lib/Holmakefile @@ -0,0 +1,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 |