1UOFILES = $(patsubst %.sml,%.uo,$(wildcard *.sml)) 2 3all: $(UOFILES) selftest.exe 4 5selftest.exe: selftest.uo Defn.uo wfrecUtils.uo 6 $(HOLMOSMLC) -o $@ $< 7
1UOFILES = $(patsubst %.sml,%.uo,$(wildcard *.sml)) 2 3all: $(UOFILES) selftest.exe 4 5selftest.exe: selftest.uo Defn.uo wfrecUtils.uo 6 $(HOLMOSMLC) -o $@ $< 7