diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/Makefile b/Makefile deleted file mode 100644 index d7ece7f..0000000 --- a/Makefile +++ /dev/null @@ -1,21 +0,0 @@ -.PHONY: _default -_default: ghci - -.PHONY: clean -clean: - @find * -type f \( -name \*.o -o -name \*.hi \) -exec rm -v \{\} \; - -.PHONY: ghci -ghci: shell.nix - nix-shell --argstr compiler ghc801 --command 'exec ghci -Wall -fobject-code -isrc' - -.PHONY: install -install: - $(error to install run "make result && nix-env -i ./result") - -.PHONY: result -result: shell.nix - nix-build ./shell.nix - -shell.nix: $(wildcard *.cabal) - cabal2nix --shell . > $@ |