Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

[enhance] Compile: Makefile improved for opa tools. Built them before…

… installation
  • Loading branch information...
commit fcef23139fff542dcfeb7ca71883e4d54fd68490 1 parent 5f4a232
@cedricss cedricss authored
Showing with 4 additions and 1 deletion.
  1. +4 −1 Makefile
View
5 Makefile
@@ -39,6 +39,7 @@ all: $(MYOCAMLBUILD)
ifndef NO_MANPAGES
$(MAKE) manpages
endif
+ $(MAKE) $(OPA_TOOLS)
.PHONY: build
build: all
@@ -65,6 +66,8 @@ stdlib: opa-packages
DISTRIB_TOOLS = opa-bin opa-plugin-builder-bin opa-plugin-browser-bin bslServerLib.ml opa-db-server opa-db-tool opa-cloud opatop opa-translate
+OPA_TOOLS = opa-create
+
.PHONY: distrib
distrib: $(MYOCAMLBUILD)
$(OCAMLBUILD) $(call target-tools,$(DISTRIB_TOOLS)) opa-packages.stamp
@@ -152,7 +155,7 @@ install-all-plugins: $(addprefix install-plugin-,$(OPA_PLUGINS))
-install-bin: opa-create
+install-bin:
@printf "Installing into $(INSTALL_DIR)/bin\r"
@mkdir -p $(INSTALL_DIR)/bin
@$(if $(wildcard $(BUILD_DIR)/bin/*),$(INSTALL) -r $(BUILD_DIR)/bin/* $(INSTALL_DIR)/bin)
Please sign in to comment.
Something went wrong with that request. Please try again.