diff options
author | defanor <defanor@uberspace.net> | 2017-11-20 04:18:24 +0300 |
---|---|---|
committer | defanor <defanor@uberspace.net> | 2017-11-20 04:18:24 +0300 |
commit | e87032597e7a691a2f1661eb5cb352e9a3dbd872 (patch) | |
tree | c3fd8f5d4c6c3e61bc7cac51a6fb8aeea1c1c45c /Makefile | |
parent | e2936f8773bf7d84d493020bfe2fab1d8d7f3819 (diff) |
Prepare for binary releases
Add Makefile and deb-control file to generate basic Debian packages
and archives with binaries.
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..2642506 --- /dev/null +++ b/Makefile @@ -0,0 +1,19 @@ +VERSION := $(shell grep '^version:' pancake.cabal | cut -d ' ' -f14- -) +NAME ?= "pancake-${VERSION}" + +deb: + cabal configure --prefix=/usr + cabal build + cabal copy --destdir=deb + dpkg-deb --build deb/ ${NAME}.deb + +bin: + cabal configure --prefix=/usr/local + cabal build + cabal copy --destdir=${NAME}-bin + tar -cz -f ${NAME}-bin.tgz -P ${NAME}-bin + +clean: + rm -rf ${NAME}.deb ${NAME}-bin.tgz ${NAME}-bin/ deb/usr/ dist/ + +.PHONY: deb bin clean |