From 8bb123786d32f39db14dad3f7c09743d1f5f99d7 Mon Sep 17 00:00:00 2001
From: Daniel Gröber <dxld@darkboxed.org>
Date: Sun, 2 Dec 2018 15:34:03 +0100
Subject: Migrate to Cabal-2.2 common stanzas, yey!

---
 .../update-cabal-common-section-instantiations.awk | 34 ----------------------
 1 file changed, 34 deletions(-)
 delete mode 100644 scripts/update-cabal-common-section-instantiations.awk

(limited to 'scripts/update-cabal-common-section-instantiations.awk')

diff --git a/scripts/update-cabal-common-section-instantiations.awk b/scripts/update-cabal-common-section-instantiations.awk
deleted file mode 100644
index 0bfacae..0000000
--- a/scripts/update-cabal-common-section-instantiations.awk
+++ /dev/null
@@ -1,34 +0,0 @@
-BEGIN {
-        delete sections;
-        section="";
-        ignoring=0;
-}
-
-/^[[:space:]]*$/ {
-        section="";
-        ignoring=0;
-}
-
-{
-        if(section) {
-                tmp = sections[section];
-                sections[section] = tmp (tmp ? RS : "") $0;
-        }
-}
-
-/^[[:space:]]*-- *Common/ {
-        section = $3
-}
-
-/^[[:space:]]*-- *Instantiate *common/ {
-        ignoring=1
-
-        print $0;
-        print sections[$4];
-}
-
-{
-        if(!ignoring) {
-                print $0;
-        }
-}
-- 
cgit v1.2.3