diff options
| author |  Benjamin Jones <bjones@galois.com> | 2013-02-21 17:48:28 -0800 |
|---|---|---|
| committer | Benjamin Jones <bjones@galois.com> | 2013-02-21 17:48:28 -0800 |
| commit | e6132af29e23e398848e0607522864e7713ebc05 (patch) | |
| tree | bf9f2644d13192bfa2f00b59ce7ce59a8a4ce872 | |
| parent | 31bb8e63b2c4d2d67c953622517ba786c1019a9c (diff) | |
added install target to Makefile that moves extension binaries to FIVEUI_ROOT/binaries
| -rw-r--r-- | contexts/Makefile | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/contexts/Makefile b/contexts/Makefile index 03b134c..530a3dc 100644 --- a/contexts/Makefile +++ b/contexts/Makefile @@ -21,13 +21,14 @@ # Entry Point ################################################################## .PHONY: all -all: compile package ; +all: compile package install ; # Environment ################################################################## BUILD_ROOT := $(CURDIR) REPO_ROOT := $(CURDIR)/.. +INSTALL_DIR := $(REPO_ROOT)/binaries ADDON_SDK := $(REPO_ROOT)/tools/addon-sdk BUILD_DIR := $(REPO_ROOT)/build @@ -39,6 +40,7 @@ BIN_DIR := $(DATA_DIR)/target FIVEUI_DATA_DIR := $(DATA_DIR)/fiveui LIB_DIR := $(DATA_DIR)/lib +MV := mv # FiveUI project Javascript sources js_sources := $(wildcard $(FIVEUI_DATA_DIR)/*.js) @@ -111,6 +113,9 @@ compile: .PHONY: package package: +.PHONY: install +install: + .PHONY: clean clean: @@ -352,3 +357,8 @@ clean: clean-xpi .PHONY: package-firefox package-firefox: $(BUILD_ROOT)/fiveui.xpi ; package: package-firefox + +# Installation ################################################################# + +install: + $(MV) $(BUILD_ROOT)/fiveui.{crx,xpi} $(INSTALL_DIR) |