Remove explicit dependencies

master
Nicolás Ojeda Bär 2019-01-12 20:50:36 +01:00
parent 0998b3ac4e
commit 9eda39597a
1 changed files with 2 additions and 4 deletions

View File

@ -1216,12 +1216,10 @@ driver/compdynlink.mli: $(DYNLINK_DIR)/dynlink.mli \
driver/compdynlink_platform_intf.mli: driver/compdynlink_platform_intf.ml
cp $< $@
driver/compdynlink.cmo: driver/compdynlink.mlbyte driver/compdynlink.cmi \
driver/compdynlink_common.cmi driver/compdynlink_common.cmo
driver/compdynlink.cmo: driver/compdynlink.mlbyte
$(CAMLC) $(COMPFLAGS) -c -impl $<
driver/compdynlink.cmx: driver/compdynlink.mlopt driver/compdynlink.cmi \
driver/compdynlink_common.cmi driver/compdynlink_common.cmx
driver/compdynlink.cmx: driver/compdynlink.mlopt
$(CAMLOPT) $(COMPFLAGS) -c -impl $<
beforedepend:: driver/compdynlink.mlbyte \