update to 0.9

.gitignore

@@ -1 +1,3 @@
 /lib-0.7.tar.gz
+/agda-stdlib-0.9.tar.gz
+/filemanip-0.3.6.3.tar.gz

Agda-stdlib.spec

@@ -3,17 +3,20 @@
 # - https://fedoraproject.org/wiki/PackagingDrafts/Haskell
 
 %global ffi_ver 0.0.2
+%global filemanip_ver 0.3.6.3
 
 Name:           Agda-stdlib
-Version:        0.7
-# only reset if agda-lib-ffi also bumped
-Release:        5%{?dist}
+Version:        0.9
+# Only reset if agda-lib-ffi also bumped
+Release:        6%{?dist}
 Summary:        Agda standard libraries
 
 Group:          Development/Libraries
 License:        MIT
 URL:            http://wiki.portal.chalmers.se/agda/agda.php?n=Libraries.StandardLibrary
-Source0:        http://www.cse.chalmers.se/~nad/software/lib-%{version}.tar.gz
+# dl from https://github.com/agda/agda-stdlib/archive/v%{version}.tar.gz
+Source0:        agda-stdlib-%{version}.tar.gz
+Source1:        http://hackage.haskell.org/package/filemanip-%{filemanip_ver}/filemanip-%{filemanip_ver}.tar.gz
 BuildRequires:  ghc-Cabal-devel
 %if 0%{?fedora} >= 20
 BuildRequires: ghc-rpm-macros-extra
@@ -47,13 +50,22 @@ generated by the Agda compiler program.
 
 
 %prep
-%setup -q -n lib-%{version}
+%setup -q -n agda-stdlib-%{version} -a1
 
 
 %build
 HOME=$PWD
-cd ffi
 %define cabal_configure_options --user
+cd filemanip-%{filemanip_ver}
+%ghc_lib_build filemanip %{filemanip_ver}
+%ghc_lib_install filemanip %{filemanip_ver}
+./Setup register --inplace
+cd ..
+
+%ghc_bin_build
+dist/build/GenerateEverything/GenerateEverything
+
+cd ffi
 %ghc_lib_build agda-lib-ffi %{ffi_ver}
 cd ..
 agda -i. -isrc Everything.agda
@@ -72,11 +84,14 @@ cd ..
 mkdir -p %{buildroot}%{_datadir}/%{name}
 cp -pr Everything.agda* src/* %{buildroot}%{_datadir}/%{name}
 
+
+%check
+agda -i. -isrc README.agda
 rm README.agdai README/*.agdai
 
 
 %files 
-%doc LICENCE release-notes README*
+%doc CHANGELOG LICENCE README*
 %{_datadir}/%{name}
 
 
@@ -85,6 +100,9 @@ rm README.agdai README/*.agdai
 
 
 %changelog
+* Thu Apr 16 2015 Jens Petersen <petersen@redhat.com> - 0.9-6
+- update to 0.9
+
 * Fri Aug 15 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.7-5
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
 

sources

@@ -1 +1,2 @@
-ff390e42876caf97d4e96e0d6fb00b01  lib-0.7.tar.gz
+d22adf380b33b401e786132a4bfc8597  agda-stdlib-0.9.tar.gz
+04d23467ce2e7ac0bc9c01c4e0ebd06c  filemanip-0.3.6.3.tar.gz