summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authortv <tv@shackspace.de>2014-11-05 05:12:33 +0100
committertv <tv@shackspace.de>2014-11-05 05:12:33 +0100
commitc16f813802b246bc4dd9df20930a3bf5d45f3029 (patch)
tree3fc558fa47e6d66fb0c1da9a000368fbfa9274f1
parent897b524889100a70123b3a4a513222f44cc0c19b (diff)
add Makefile
-rw-r--r--Makefile20
1 files changed, 20 insertions, 0 deletions
diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000..e2fad80
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,20 @@
+# This makex file is just a convenient interface for some useful commands.
+
+.PHONY: all build doc env install
+
+all: cgserver.nix
+
+build:
+ load-env-cgserver-1 cabal build
+
+doc:
+ load-env-cgserver-1 cabal haddock --executable
+
+env:
+ nix-env -f env.nix -i
+
+install:
+ nix-env -f . -i
+
+%.nix: %.cabal
+ cabal2nix . > $@