From 63734cebf181f9256bc811b9dbba1e47ffc3d292 Mon Sep 17 00:00:00 2001
From: Jens Petersen <petersen@redhat.com>
Date: Thu, 18 Feb 2021 15:25:42 +0800
Subject: [PATCH] update geniplate-mirror to 0.7.7

---
 Agda.spec | 15 ++++++---------
 1 file changed, 6 insertions(+), 9 deletions(-)

diff --git a/Agda.spec b/Agda.spec
index 9010693..fc6aee6 100644
--- a/Agda.spec
+++ b/Agda.spec
@@ -1,4 +1,4 @@
-# generated by cabal-rpm-2.0.6 --subpackage
+# generated by cabal-rpm-2.0.8 --subpackage
 # https://docs.fedoraproject.org/en-US/packaging-guidelines/Haskell/
 
 # https://gitlab.haskell.org/ghc/ghc/issues/17030 panic
@@ -9,7 +9,7 @@
 %global pkg_name Agda
 %global pkgver %{pkg_name}-%{version}
 
-%global geniplatemirror geniplate-mirror-0.7.6
+%global geniplatemirror geniplate-mirror-0.7.7
 %global murmurhash murmur-hash-0.1.0.9
 %global subpkgs %{geniplatemirror} %{murmurhash}
 
@@ -65,7 +65,6 @@ BuildRequires:  ghc-strict-prof
 BuildRequires:  ghc-template-haskell-prof
 BuildRequires:  ghc-text-prof
 BuildRequires:  ghc-time-prof
-BuildRequires:  ghc-transformers-prof
 BuildRequires:  ghc-unordered-containers-prof
 BuildRequires:  ghc-uri-encode-prof
 BuildRequires:  ghc-zlib-prof
@@ -148,10 +147,6 @@ This package provides the Haskell %{name} profiling library.
 # Begin cabal-rpm setup:
 %setup -q -a1 -a2
 # End cabal-rpm setup
-(
-cd %{geniplatemirror}
-cabal-tweak-dep-ver template-haskell '< 2.14' '< 3'
-)
 # check the Agda version in the emacs mode
 if ! grep -q \"%{version}\" src/data/emacs-mode/agda2-mode.el; then
   echo "agda2-version in src/data/emacs-mode/agda2-mode.el out of sync!"
@@ -163,6 +158,7 @@ fi
 %define elisp_files eri.el agda-input.el annotation.el agda2-highlight.el agda2-abbrevs.el agda2-queue.el agda2-mode.el agda2-mode-pkg.el agda2.el
 
 # check no missing new elisp files
+(
 cd src/data/emacs-mode
 for i in *.el; do
   if ! echo %{elisp_files} | grep -q $i; then
@@ -170,7 +166,7 @@ for i in *.el; do
      exit 1
   fi
 done
-cd -
+)
 
 # Begin cabal-rpm build:
 %ghc_libs_build %{subpkgs}
@@ -180,11 +176,12 @@ cd -
 %ghc_lib_build
 # End cabal-rpm build
 
+(
 cd src/data/emacs-mode
 for i in %elisp_files; do
   %{_emacs_bytecompile} $i
 done
-cd -
+)
 
 
 %install