1PRE_INCLUDES=${HOLDIR}/examples/PSL/path 2 3ifdef POLY 4INCLUDES = ${HOLDIR}/examples/PSL/1.1/official-semantics \ 5 ../tools ../deep_embeddings ../translations 6else 7INCLUDES = ${HOLDIR}/examples/PSL/1.1/official-semantics \ 8 ${HOLDIR}/examples/HolBdd ${HOLDIR}/examples/muddy \ 9 ../tools ../deep_embeddings ../translations 10endif 11 12all: $(DEFAULT_TARGETS) selftest.exe 13 14selftest.exe: selftest.uo modelCheckLib.uo 15 $(HOLMOSMLC) -I ${PRE_INCLUDES} -o $@ $< 16 17.PHONY: all 18 19EXTRA_CLEANS = selftest.exe 20