1all: $(DEFAULT_TARGETS) selftest.exe
2.PHONY: all
3
4LVTermNetFunctorApplied.uo: LVTermNetFunctorApplied.sml $(dprot $(SIGOBJ)/LVTermNetFunctor.ui) $(dprot $(SIGOBJ)/HOLset.ui)
5	$(HOLMOSMLC) -c $(protect $(SIGOBJ)/LVTermNetFunctor.ui) $<
6
7selftest.exe: selftest.uo simpfrag.uo $(dprot $(SIGOBJ)/term_pp.uo) \
8              $(dprot $(SIGOBJ)/testutils.uo) $(dprot $(SIGOBJ)/TermParse.uo) \
9              $(dprot $(SIGOBJ)/Preterm.uo) $(dprot $(SIGOBJ)/Parse_support.uo)\
10	      $(dprot $(SIGOBJ)/LVTermNet.uo) LVTermNetFunctorApplied.uo
11	$(HOLMOSMLC) -o $@ $<
12