diff options
| author | tv <tv@shackspace.de> | 2015-10-17 00:50:38 +0200 |
|---|---|---|
| committer | tv <tv@shackspace.de> | 2015-10-17 01:50:27 +0200 |
| commit | 12f8eb4e84ee7bcc49dde8053d2faeae676c9dbe (patch) | |
| tree | 7f6c8afe81582e805115653d5688e9245a894b13 /Makefile | |
| parent | 5e9e4888aaf6380383dd07dc9a8d348dc5b875d0 (diff) | |
init Makefile
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..eb2d666 --- /dev/null +++ b/Makefile @@ -0,0 +1,7 @@ +.PHONY: nix-shell +nix-shell: shell.nix + nix-shell --command 'cd src && exec ghci' + +shell.nix: blessings.cabal + cabal2nix --shell --sha256=0 $< \ + | sed 's:sha256 = "0":src = ./.:' > $@ |