[ghc-Agda] agda command-line tool in devel subpackage

[Jens Petersen]

commit e8fa277c07e5cb3e425122a9ab81a4aa7f585adf
Author: Jens Petersen <petersen at redhat.com>
Date:   Tue Jun 11 18:15:28 2013 +0900

    agda command-line tool in devel subpackage

 ghc-Agda.spec |    6 ++++++
 1 files changed, 6 insertions(+), 0 deletions(-)
---
diff --git a/ghc-Agda.spec b/ghc-Agda.spec
index c826442..f1bbe13 100644
--- a/ghc-Agda.spec
+++ b/ghc-Agda.spec
@@ -40,6 +40,7 @@ BuildRequires:  ghc-zlib-devel
 BuildRequires:  alex
 BuildRequires:  happy
 # End cabal-rpm deps
+BuildRequires:  chrpath
 BuildRequires:  emacs-haskell-mode
 
 %description
@@ -62,6 +63,7 @@ Requires:       ghc-compiler = %{ghc_version}
 Requires(post): ghc-compiler = %{ghc_version}
 Requires(postun): ghc-compiler = %{ghc_version}
 Requires:       %{name} = %{version}-%{release}
+Obsoletes:      Agda < 2.3.1
 
 %description devel
 This package provides the Haskell %{pkg_name} library development files.
@@ -146,6 +148,8 @@ cd -
 %install
 %ghc_lib_install
 
+%ghc_fix_dynamic_rpath agda
+
 mkdir -p %{buildroot}%{_emacs_sitelispdir}/agda
 for i in src/data/emacs-mode/*; do
   install -p -m 0644 $i %{buildroot}%{_emacs_sitelispdir}/agda
@@ -174,6 +178,7 @@ rm -r %{buildroot}%{_datadir}/%{pkg_name}-%{version}/emacs-mode
 
 %files devel -f %{name}-devel.files
 %doc doc/release-notes
+%{_bindir}/agda
 
 
 %files -n emacs-agda
@@ -193,6 +198,7 @@ rm -r %{buildroot}%{_datadir}/%{pkg_name}-%{version}/emacs-mode
 * Tue Jun 11 2013 Jens Petersen <petersen at redhat.com> - 2.3.2.1-1
 - update to 2.3.2.1
 - update to new simplified Haskell Packaging Guidelines
+- agda command-line tool in devel subpackage
 
 * Fri Jun 07 2013 Jens Petersen <petersen at redhat.com>
 - update to new simplified Haskell Packaging Guidelines