diff options
| author | tv <tv@krebsco.de> | 2024-06-04 14:06:57 +0200 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2024-06-04 14:06:57 +0200 |
| commit | 59a5db0684922f1318e9c36970290f17a6d7f7ed (patch) | |
| tree | d59b918ad02d2752e586eda6bc78aa6fa144d892 /Makefile | |
| parent | 3bd075759e68b6019e9d5896b1c889b7d5fbb967 (diff) | |
modernize build system
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 . > $@ |