diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..d01f5bf --- /dev/null +++ b/Makefile @@ -0,0 +1,15 @@ +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) |