Skip to content

GitLab

Commit 1a63a8b2 authored by Julien Lopez's avatar Julien Lopez
Browse files

[MINOR] make install_lib now depends on make all

parent 8ad17987
Hide whitespace changes
Inline Side-by-side
Makefile.distrib
View file @ 1a63a8b2
...@@ -110,7 +110,7 @@ install_bin: ...@@ -110,7 +110,7 @@ install_bin:
$(HIDE)$(INSTALL) -m755 $(INSTALL_BINARIES) $(BINDIR)/ $(HIDE)$(INSTALL) -m755 $(INSTALL_BINARIES) $(BINDIR)/
install_lib: install_lib: all
@echo "Build META" @echo "Build META"
$(HIDE)(sed "s/%REQ%/$(PACKAGES)/" < META.in | sed "s/%VER%/$(VERSION)/" > META) $(HIDE)(sed "s/%REQ%/$(PACKAGES)/" < META.in | sed "s/%VER%/$(VERSION)/" > META)
$(HIDE)-$(OCAMLFIND) remove cduce $(HIDE)-$(OCAMLFIND) remove cduce
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment