[idris/f18] need to compile and install libraries explicitly for older idris

[Jens Petersen]

commit 503b88bfd15033089a4fbd96c05e4d76b96f3f86
Author: Jens Petersen <petersen at redhat.com>
Date:   Thu Aug 29 13:16:09 2013 +0900

    need to compile and install libraries explicitly for older idris

 idris.spec |    7 ++++++-
 1 files changed, 6 insertions(+), 1 deletions(-)
---
diff --git a/idris.spec b/idris.spec
index 02b6b13..cd443d0 100644
--- a/idris.spec
+++ b/idris.spec
@@ -2,7 +2,7 @@
 
 Name:           idris
 Version:        0.9.4.1
-Release:        1%{?dist}
+Release:        2%{?dist}
 Summary:        Functional Programming Language with Dependent Types
 
 License:        BSD
@@ -66,6 +66,8 @@ export LANG=en_US.utf8
 %install
 %ghc_bin_install
 
+make -C lib install TARGET=%{buildroot}/%{_datadir}/%{name}-%{version} IDRIS=%{buildroot}%{_bindir}/idris
+
 
 %files
 %doc LICENSE tutorial
@@ -74,6 +76,9 @@ export LANG=en_US.utf8
 
 
 %changelog
+* Thu Aug 29 2013 Jens Petersen <petersen at redhat.com> - 0.9.4.1-2
+- need to compile and install libraries explicitly for older idris
+
 * Tue Aug 20 2013 Jens Petersen <petersen at redhat.com> - 0.9.4.1-1
 - use cabal_configure_extra_options to set datadir (#947819)
 - add a comment about the devel files in the main package (#947819)