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