diff --git a/Makefile.nt b/Makefile.nt index 3f8286096..74dd17a7b 100644 --- a/Makefile.nt +++ b/Makefile.nt @@ -685,13 +685,13 @@ clean:: .SUFFIXES: .ml .mli .cmo .cmi .cmx .ml.cmo: - $(CAMLC) $(COMPFLAGS) `./Compflags $@` -c $< + $(CAMLC) $(COMPFLAGS) -c $< .mli.cmi: - $(CAMLC) $(COMPFLAGS) `./Compflags $@` -c $< + $(CAMLC) $(COMPFLAGS) -c $< .ml.cmx: - $(CAMLOPT) $(COMPFLAGS) `./Compflags $@` -c $< + $(CAMLOPT) $(COMPFLAGS) -c $< partialclean:: rm -f utils/*.cm* utils/*.$(O) utils/*.$(S) @@ -699,6 +699,9 @@ partialclean:: rm -f typing/*.cm* typing/*.$(O) typing/*.$(S) rm -f bytecomp/*.cm* bytecomp/*.$(O) bytecomp/*.$(S) rm -f asmcomp/*.cm* asmcomp/*.$(O) asmcomp/*.$(S) + rm -f middle_end/*.cm* middle_end/*.$(O) middle_end/*.$(S) + rm -f middle_end/base_types/*.cm* middle_end/base_types/*.$(O) \ + middle_end/base_types/*.$(S) rm -f driver/*.cm* driver/*.$(O) driver/*.$(S) rm -f toplevel/*.cm* toplevel/*.$(O) toplevel/*.$(S) rm -f tools/*.cm* tools/*.$(O) tools/*.$(S)