summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authortv <tv@shackspace.de>2015-10-17 02:31:08 +0200
committertv <tv@shackspace.de>2015-10-17 03:00:25 +0200
commitb675e63c0cb2ad4b3477fb1774efe6f0d43b5b50 (patch)
treec34042ef2e0c18dc759e0c5c7fe10ecb1f65d722
parent71c60a579c9169c7a3a1228c5be421038f525070 (diff)
init Makefile
-rw-r--r--.gitignore1
-rw-r--r--Makefile7
2 files changed, 8 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..6162045
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1 @@
+/shell.nix
diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000..5c267ec
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,7 @@
+.PHONY: nix-shell
+nix-shell: shell.nix
+ nix-shell --command 'cd src && exec ghci'
+
+shell.nix: scanner.cabal
+ cabal2nix --shell --sha256=0 $< \
+ | sed 's:sha256 = "0":src = ./.:' > $@