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