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 8 $(HOLMOSMLC) -o $@ $< 9 10ifeq ($(KERNELID),otknl) 11all: $(patsubst %Script.sml,%.ot.art,$(wildcard *Script.sml)) 12 13one.art: one.otd 14sum.art: sum.otd 15pair.art: pair.otd 16option.art: option.otd 17 18endif 19