From d6718ef28ee2ad12e1e2943c1f0beb1d0820ba6b Mon Sep 17 00:00:00 2001
From: tv <tv@krebsco.de>
Date: Tue, 9 May 2017 20:25:33 +0200
Subject: initial commit

---
 Makefile | 33 +++++++++++++++++++++++++++++++++
 1 file changed, 33 insertions(+)
 create mode 100644 Makefile

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000..bad1a64
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,33 @@
+define newline
+
+
+endef
+
+shell-quote = '$(subst $(newline),'\$(newline)',$(subst ','\'',$(1)))'
+
+
+ifdef nixpkgs
+  override nixpkgs := $(call shell-quote,$(nixpkgs))
+else
+  nixpkgs = 'import <stockholm>'
+endif
+
+.PHONY: _default
+_default: ghci
+
+.PHONY: ghci
+ghci: shell.nix
+	nix-shell --arg nixpkgs $(nixpkgs) --command 'exec ghci -Wall' $<
+
+.PHONY: result
+result: shell.nix
+	nix-build --arg nixpkgs $(nixpkgs) $<
+
+shell.nix: $(wildcard *.cabal)
+	cabal2nix --shell . > $@
+
+.PHONY: update
+update:
+	git -C .hstool fetch origin
+	git -C .hstool reset --hard origin/master
+	git -C .hstool clean -dfx
-- 
cgit v1.2.3