diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/Makefile b/Makefile deleted file mode 100644 index d01f5bf..0000000 --- a/Makefile +++ /dev/null @@ -1,15 +0,0 @@ -PREFIX ?= /usr/local -SHARE ?= $(PREFIX)/share/disko - -all: - -SOURCES = disko cli.nix default.nix types.nix - -install: - mkdir -p $(PREFIX)/bin $(SHARE) - sed \ - -e "s|libexec_dir=\".*\"|libexec_dir=\"$(SHARE)\"|" \ - -e "s|#!/usr/bin/env.*|#!/usr/bin/env bash|" \ - disko > $(PREFIX)/bin/disko - chmod 755 $(PREFIX)/bin/disko - cp -r $(SOURCES) $(SHARE) |