1THYFILES = $(patsubst %Script.sml,%Theory.uo,$(wildcard *.sml))
2TARGETS = $(patsubst %.sml,%.uo,$(THYFILES))
3
4all: $(TARGETS)
5
6ifeq ($(KERNELID),otknl)
7ARTFILES = $(patsubst %Script.sml,%.ot.art,$(wildcard *Script.sml))
8all: $(ARTFILES)
9
10ternaryComparisons.art: ternaryComparisons.otd
11
12
13hol4-sort-unint.art: hol4-sort-unint.thy $(ARTFILES)
14	opentheory info --article -o $@ $<
15
16hol4-sort.art: hol4-sort.thy hol4-sort-unint.art ../opentheory/hol4.int
17	opentheory info --article -o $@ $<
18endif
19