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