From 59a5db0684922f1318e9c36970290f17a6d7f7ed Mon Sep 17 00:00:00 2001 From: tv Date: Tue, 4 Jun 2024 14:06:57 +0200 Subject: modernize build system --- Makefile | 21 --------------------- 1 file changed, 21 deletions(-) delete mode 100644 Makefile (limited to 'Makefile') 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 . > $@ -- cgit v1.2.3