From 2a59af78a8e2e7ab6fc7a4be3671da0c19a8806c Mon Sep 17 00:00:00 2001
From: David Arnold <david.arnold@iohk.io>
Date: Sat, 5 Nov 2022 14:25:08 -0500
Subject: fix: add package build and fix disko

---
 Makefile | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100644 Makefile

(limited to 'Makefile')

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)
-- 
cgit v1.2.3