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