1THYFILES = $(patsubst %Script.sml,%Theory.uo,$(wildcard *.sml)) 2TARGETS = $(patsubst %.sml,%.uo,$(THYFILES)) 3 4all: $(TARGETS) selftest.exe 5.PHONY: all 6 7selftest.exe: selftest.uo wordsLib.uo wordsSyntax.uo 8 $(HOLMOSMLC) -o $@ $< 9 10EXTRA_CLEANS = selftest.exe 11 12ifeq ($(KERNELID),otknl) 13ARTFILES = $(patsubst %Script.sml,%.ot.art,$(wildcard *Script.sml)) 14all: $(ARTFILES) 15 16hol4-words-unint.art: hol4-words-unint.thy $(ARTFILES) 17 opentheory info --article -o $@ $< 18 19hol4-words.art: hol4-words.thy hol4-words-unint.art ../opentheory/hol4.int 20 opentheory info --article -o $@ $< 21 22fcp.art: fcp.otd 23 24endif 25