diff options
| author | David Arnold <david.arnold@iohk.io> | 2022-11-05 14:25:08 -0500 |
|---|---|---|
| committer | lassulus <lassulus@lassul.us> | 2022-11-09 12:21:24 +0100 |
| commit | 2a59af78a8e2e7ab6fc7a4be3671da0c19a8806c (patch) | |
| tree | 8b26f8d4e15ac9d118350084516b99ff6e182fdd /Makefile | |
| parent | f82656afbd5dafe1a0f762bdb7678a62203158b0 (diff) | |
fix: add package build and fix disko
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) |