From 12f8eb4e84ee7bcc49dde8053d2faeae676c9dbe Mon Sep 17 00:00:00 2001 From: tv Date: Sat, 17 Oct 2015 00:50:38 +0200 Subject: init Makefile --- .gitignore | 1 + Makefile | 7 +++++++ 2 files changed, 8 insertions(+) create mode 100644 .gitignore create mode 100644 Makefile 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..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 = ./.:' > $@ -- cgit v1.2.3