From 228bb4f189bfb2a4eb11fe26380aa93d3be79734 Mon Sep 17 00:00:00 2001
From: Emery Hemingway <ehmry@posteo.net>
Date: Sun, 22 Sep 2019 13:03:29 +0200
Subject: [PATCH] Tup: Remove rules for generating Dhall manifest

---
 .gitignore |  1 -
 Tupfile    | 19 -------------------
 2 files changed, 20 deletions(-)
 delete mode 100644 Tupfile

diff --git a/.gitignore b/.gitignore
index 92ff7869d..be5a00ec3 100644
--- a/.gitignore
+++ b/.gitignore
@@ -13,6 +13,5 @@
 ##### Do not edit.
 .tup
 /.gitignore
-/bin.dhall
 /dev
 /out
diff --git a/Tupfile b/Tupfile
deleted file mode 100644
index a033983a3..000000000
--- a/Tupfile
+++ /dev/null
@@ -1,19 +0,0 @@
-ifeq (@(TUP_ARCH),x86_64)
-DEPOT_ARCH = x86_64
-endif
-
-ifeq ($(DEPOT_ARCH),)
-	error unhandled TUP_ARCH @(TUP_ARCH)
-endif
-
-include_rules
-
-DEPOT_MANIFEST = $(OUTPUTS_OUT)/manifest.dhall
-
-: $(OUTPUTS_OUT)/<bin> |> \
-	echo %<bin> \
-		| awk -F '/' --assign RS=' ' 'BEGIN { print "{=}"} {print "∧{"$3"={=}}" }' \
-		| dhall > %o\
-|> bin.dhall {records}
-
-: | {records} |> !dhall <<< '{bin = { $(DEPOT_ARCH) = ./bin.dhall } }' > %o |> $(DEPOT_MANIFEST)