petersen pushed to Agda-stdlib (master). "update to 0.9"

[notifications at fedoraproject.org]

>From 12fcba20ad3e16d2678a6bb6fcd8c073e75034a7 Mon Sep 17 00:00:00 2001
From: Jens Petersen <petersen at redhat.com>
Date: Fri, 17 Apr 2015 11:43:00 +0900
Subject: update to 0.9


diff --git a/.gitignore b/.gitignore
index 039618f..e7039de 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1,3 @@
 /lib-0.7.tar.gz
+/agda-stdlib-0.9.tar.gz
+/filemanip-0.3.6.3.tar.gz
diff --git a/Agda-stdlib.spec b/Agda-stdlib.spec
index c1fcdd1..0ea17b5 100644
--- a/Agda-stdlib.spec
+++ b/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 at redhat.com> - 0.9-6
+- update to 0.9
+
 * Fri Aug 15 2014 Fedora Release Engineering <rel-eng at lists.fedoraproject.org> - 0.7-5
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
 
diff --git a/sources b/sources
index badbeef..45251ea 100644
--- a/sources
+++ b/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
-- 
cgit v0.10.2


	http://pkgs.fedoraproject.org/cgit/Agda-stdlib.git/commit/?h=master&id=12fcba20ad3e16d2678a6bb6fcd8c073e75034a7