Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Makefile: reuse new rules of otherlibs/Makefile

master
Gabriel Scherer 2018-11-06 10:23:49 +01:00 committed by Alain Frisch
parent 2387870fb3
commit d4959ae5ff
1 changed files with 4 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
Makefile
View File

@ -1057,25 +1057,17 @@ partialclean::
.PHONY: otherlibraries
otherlibraries: ocamltools
for i in $(OTHERLIBRARIES); do \
($(MAKE) -C otherlibs/$$i all) || exit $$?; \
done
$(MAKE) -C otherlibs all
.PHONY: otherlibrariesopt
otherlibrariesopt:
for i in $(OTHERLIBRARIES); do \
($(MAKE) -C otherlibs/$$i allopt) || exit $$?; \
done
$(MAKE) -C otherlibs allopt
partialclean::
for i in $(OTHERLIBRARIES); do \
($(MAKE) -C otherlibs/$$i partialclean); \
done
$(MAKE) -C otherlibs partialclean
clean::
for i in $(OTHERLIBRARIES); do \
($(MAKE) -C otherlibs/$$i clean); \
done
$(MAKE) -C otherlibs clean
# The replay debugger