summaryrefslogtreecommitdiffstats
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile21
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 . > $@