1PRE_INCLUDES=${HOLDIR}/examples/PSL/path
2
3INCLUDES = ${HOLDIR}/examples/PSL/1.1/official-semantics \
4	${HOLDIR}/examples/HolBdd ${HOLDIR}/examples/muddy \
5	../tools ../deep_embeddings ../translations
6
7THYFILES = $(patsubst %Script.sml,%Theory.uo,$(wildcard *.sml))
8TARGETS0 = $(patsubst %Theory.sml,,$(THYFILES))
9TARGETS = $(patsubst %.sml,%.uo,$(TARGETS0))
10
11all: $(TARGETS) selftest.exe
12
13selftest.exe: selftest.uo modelCheckLib.uo
14	$(HOLMOSMLC) -I ${PRE_INCLUDES} -o $@ $<
15
16.PHONY: all
17