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