add patch for HashMap
This commit is contained in:
parent
afe3c95527
commit
ac0a36269a
|
@ -0,0 +1,11 @@
|
||||||
|
--- Agda-2.4.2.5/src/full/Agda/Utils/HashMap.hs~ 2015-12-19 06:29:26.000000000 +0900
|
||||||
|
+++ Agda-2.4.2.5/src/full/Agda/Utils/HashMap.hs 2016-10-06 14:19:19.071676894 +0900
|
||||||
|
@@ -5,7 +5,7 @@
|
||||||
|
) where
|
||||||
|
|
||||||
|
import Data.Hashable
|
||||||
|
-import Data.HashMap.Strict as HashMap
|
||||||
|
+import Data.HashMap.Strict as HashMap hiding (alter, mapMaybe)
|
||||||
|
import qualified Data.Maybe as Maybe
|
||||||
|
|
||||||
|
-- | Like 'Data.Map.Strict.mapMaybe'.
|
|
@ -17,6 +17,7 @@ Source0: https://hackage.haskell.org/package/%{pkgver}/%{pkgver}.tar.gz
|
||||||
Source1: agda-mode-init.el
|
Source1: agda-mode-init.el
|
||||||
Source2: https://hackage.haskell.org/package/%{geniplate}/%{geniplate}.tar.gz
|
Source2: https://hackage.haskell.org/package/%{geniplate}/%{geniplate}.tar.gz
|
||||||
Patch0: Agda-cpphs-version.patch
|
Patch0: Agda-cpphs-version.patch
|
||||||
|
Patch1: Agda-HashMap.patch
|
||||||
|
|
||||||
BuildRequires: ghc-Cabal-devel
|
BuildRequires: ghc-Cabal-devel
|
||||||
BuildRequires: ghc-rpm-macros-extra
|
BuildRequires: ghc-rpm-macros-extra
|
||||||
|
@ -112,6 +113,7 @@ This package provides the Haskell %{name} library development files.
|
||||||
%prep
|
%prep
|
||||||
%setup -q -c -n %{pkgver} -a2
|
%setup -q -c -n %{pkgver} -a2
|
||||||
%patch0 -b .orig
|
%patch0 -b .orig
|
||||||
|
%patch1 -b .orig
|
||||||
|
|
||||||
# tweak the Agda version in the emacs mode
|
# tweak the Agda version in the emacs mode
|
||||||
if ! grep -q \"%{version}\" %{pkgver}/src/data/emacs-mode/agda2-mode.el; then
|
if ! grep -q \"%{version}\" %{pkgver}/src/data/emacs-mode/agda2-mode.el; then
|
||||||
|
|
Loading…
Reference in New Issue