diff options
| author | tv <tv@shackspace.de> | 2015-10-17 02:31:08 +0200 |
|---|---|---|
| committer | tv <tv@shackspace.de> | 2015-10-17 03:00:25 +0200 |
| commit | b675e63c0cb2ad4b3477fb1774efe6f0d43b5b50 (patch) | |
| tree | c34042ef2e0c18dc759e0c5c7fe10ecb1f65d722 | |
| parent | 71c60a579c9169c7a3a1228c5be421038f525070 (diff) | |
init Makefile
| -rw-r--r-- | .gitignore | 1 | ||||
| -rw-r--r-- | Makefile | 7 |
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 = ./.:' > $@ |