From 3c5301303230f563214c5ff003f9fc8e2e0a7199 Mon Sep 17 00:00:00 2001 From: tv Date: Wed, 12 Mar 2025 19:45:02 +0100 Subject: replace Makefile by shell.nix --- Makefile | 7 ------- 1 file changed, 7 deletions(-) delete mode 100644 Makefile (limited to 'Makefile') diff --git a/Makefile b/Makefile deleted file mode 100644 index 5c267ec..0000000 --- a/Makefile +++ /dev/null @@ -1,7 +0,0 @@ -.PHONY: nix-shell -nix-shell: shell.nix - nix-shell --command 'cd src && exec ghci' - -shell.nix: scanner.cabal - cabal2nix --shell --sha256=0 $< \ - | sed 's:sha256 = "0":src = ./.:' > $@ -- cgit v1.2.3