From fa17cfe8782b51f39900cb216cb44c6cc6747856 Mon Sep 17 00:00:00 2001
From: David Arnold <david.arnold@iohk.io>
Date: Sun, 6 Nov 2022 00:12:15 -0500
Subject: feat: trim the build to the minimum

on a slow finicky target machine, no time to pull gcc
---
 Makefile | 15 ---------------
 1 file changed, 15 deletions(-)
 delete mode 100644 Makefile

(limited to 'Makefile')

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