[ghc-Agda] fix agda2-version in agda2-mode.el
Jens Petersen
petersen at fedoraproject.org
Wed Jul 11 02:06:26 UTC 2012
commit 8d12d8f43722ca8bbc2ce256e66f6cdcd315c1f2
Author: Jens Petersen <petersen at redhat.com>
Date: Wed Jul 11 11:05:31 2012 +0900
fix agda2-version in agda2-mode.el
ghc-Agda.spec | 13 ++++++++++++-
1 files changed, 12 insertions(+), 1 deletions(-)
---
diff --git a/ghc-Agda.spec b/ghc-Agda.spec
index 34a9d76..a7dee08 100644
--- a/ghc-Agda.spec
+++ b/ghc-Agda.spec
@@ -22,7 +22,7 @@ proof assistants based on dependent types, such as Coq, Epigram and NuPRL.
Name: ghc-%{pkg_name}
Version: 2.3.0.1
-Release: 4%{?dist}
+Release: 5%{?dist}
Summary: Dependently typed functional programming language
Group: Development/Languages
@@ -88,6 +88,14 @@ This provides the Emacs Lisp source files for the Agda interactive mode.
%prep
%setup -q -n %{pkg_name}-%{version}
+# tweak the Agda version in the emacs mode
+if grep -q \"2.3.0\" src/data/emacs-mode/agda2-mode.el; then
+ sed -i.orig -e 's/agda2-version "2.3.0"/agda2-version "2.3.1"/' src/data/emacs-mode/agda2-mode.el
+else
+ echo "agda2-version in src/data/emacs-mode/agda2-mode.el changed!"
+ exit 1
+fi
+
cabal-tweak-dep-ver mtl "== 2.0.*" ">= 2.0"
cabal-tweak-dep-ver haskell-src-exts "< 1.12" "< 1.14"
@@ -151,6 +159,9 @@ echo %{_datadir}/%{pkg_name}-%{version}/Agda.css >> ghc-%{pkg_name}.files
%changelog
+* Wed Jul 11 2012 Jens Petersen <petersen at redhat.com> - 2.3.0.1-5
+- fix agda2-version in agda2-mode.el
+
* Thu Jun 21 2012 Jens Petersen <petersen at redhat.com> - 2.3.0.1-4
- upstream patch for building with haskell-src-exts-1.13
- use new cabal-tweak-dep-ver script to change mtl and haskell-src-exts bounds
More information about the scm-commits
mailing list