diff options
| author | tv <tv@krebsco.de> | 2025-03-12 19:45:02 +0100 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2025-03-12 19:45:02 +0100 |
| commit | 3c5301303230f563214c5ff003f9fc8e2e0a7199 (patch) | |
| tree | cea7e53e57463fd09bb03d12a36472eed4e3b82d /Makefile | |
| parent | b0a965bfd72d8d7d861a424d9e39c7f923c181bd (diff) | |
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 7 |
1 files changed, 0 insertions, 7 deletions
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 = ./.:' > $@ |