diff options
author | David Arnold <david.arnold@iohk.io> | 2022-11-06 00:12:15 -0500 |
---|---|---|
committer | lassulus <lassulus@lassul.us> | 2022-11-09 12:23:34 +0100 |
commit | fa17cfe8782b51f39900cb216cb44c6cc6747856 (patch) | |
tree | 803ffaace1f4ef670db5b52652d8ddf401030bf1 /Makefile | |
parent | 15b62fd7a1b6500cc4ee039550297640e86c8383 (diff) |
feat: trim the build to the minimum
on a slow finicky target machine, no time to pull gcc
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) |