aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorTeddy Wing2018-11-05 01:37:14 +0100
committerTeddy Wing2018-11-05 01:37:14 +0100
commitdc6afa5e23a849fa0aefbf69bafc0c9faaf844ed (patch)
tree8bd5b1f99e9b0ca4b1d17a6a9d318313a5832983
parentc64bbfd6eb6c4485076265c8be3c28ff3c18fdab (diff)
downloadDomeKey-dc6afa5e23a849fa0aefbf69bafc0c9faaf844ed.tar.bz2
Makefile: Add dist targets
We'll stick the binary and man pages in this directory for packaging.
-rw-r--r--.gitignore1
-rw-r--r--Makefile9
2 files changed, 10 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index ccd758f..ab6dc46 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,6 +1,7 @@
# Build
build/
DerivedData/
+dist/
# Settings
*.pbxuser
diff --git a/Makefile b/Makefile
index 28583ea..3edadb2 100644
--- a/Makefile
+++ b/Makefile
@@ -60,3 +60,12 @@ doc/dome-key.1: doc/dome-key.1.txt
.PHONY: doc
doc: doc/dome-key.1
+
+.PHONY: dist-all
+dist-all: dist/dome-key
+
+dist:
+ mkdir -p dist
+
+dist/dome-key: $(RELEASE_PRODUCT) dist
+ cp $< $@