1all: $(DEFAULT_TARGETS) selftest.exe
2.PHONY: all
3
4selftest.exe : selftest.uo ratLib.uo ratTheory.uo ratReduce.uo
5	$(HOLMOSMLC) -o $@ $<
6
7intExtensionTheory.sml: $(dprot $(SIGOBJ)/int_arithTheory.uo)
8
9EXTRA_CLEANS = selftest.exe
10