[ghc-Agda/f17] fix agda2-version in agda2-mode.el properly

[Jens Petersen]

commit 7200578596e4bbf762d7827bc282e87e18e650ec
Author: Jens Petersen <petersen at redhat.com>
Date:   Wed Jul 11 12:53:18 2012 +0900

    fix agda2-version in agda2-mode.el properly

 ghc-Agda.spec |   13 ++++++++++++-
 1 files changed, 12 insertions(+), 1 deletions(-)
---
diff --git a/ghc-Agda.spec b/ghc-Agda.spec
index 4052fbe..dcd8e13 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:        2%{?dist}
+Release:        2.1%{?dist}
 Summary:        Dependently typed functional programming language
 
 Group:          Development/Languages
@@ -87,6 +87,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 -e 's/agda2-version "2.3.0"/agda2-version "%{version}"/' src/data/emacs-mode/agda2-mode.el
+else
+  echo "agda2-version in src/data/emacs-mode/agda2-mode.el changed!"
+  exit 1
+fi
+
 
 %build
 %ghc_lib_build
@@ -145,6 +153,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-2.1
+- fix agda2-version in agda2-mode.el
+
 * Thu May 31 2012 Jens Petersen <petersen at redhat.com> - 2.3.0.1-2
 - library license is also BSD (#710031)
 - move release notes to devel subpackage