[Agda-stdlib] import (#839260)

[Jens Petersen]

commit 3a702b0086abcc8fc201ce4e24dbd0ea56c16fb4
Author: Jens Petersen <petersen at redhat.com>
Date:   Wed Feb 12 15:07:06 2014 +0900

    import (#839260)

 .gitignore       |    1 +
 Agda-stdlib.spec |  109 ++++++++++++++++++++++++++++++++++++++++++++++++++++++
 sources          |    1 +
 3 files changed, 111 insertions(+), 0 deletions(-)
---
diff --git a/.gitignore b/.gitignore
index e69de29..039618f 100644
--- a/.gitignore
+++ b/.gitignore
@@ -0,0 +1 @@
+/lib-0.7.tar.gz
diff --git a/Agda-stdlib.spec b/Agda-stdlib.spec
new file mode 100644
index 0000000..4c2de11
--- /dev/null
+++ b/Agda-stdlib.spec
@@ -0,0 +1,109 @@
+# For Haskell Packaging Guidelines see:
+# - https://fedoraproject.org/wiki/Packaging:Haskell
+# - https://fedoraproject.org/wiki/PackagingDrafts/Haskell
+
+%global ffi_ver 0.0.2
+
+Name:           Agda-stdlib
+Version:        0.7
+# only reset if agda-lib-ffi also bumped
+Release:        2%{?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
+BuildRequires:  ghc-Cabal-devel
+BuildRequires:  ghc-rpm-macros-extra
+BuildRequires:  Agda
+# Agda needs ghci and is not building on arm currently
+ExclusiveArch:  %{ghc_arches_with_ghci}
+ExcludeArch:    armv7hl
+
+%description
+Agda standard libraries
+
+
+%package docs
+Summary:        Agda standard libraries documentation
+BuildArch:      noarch
+
+%description docs
+This package provides the html documentation for the stdlibs
+generated by the Agda compiler program.
+
+
+%global stdlib_version %{version}
+%ghc_lib_subpackage agda-lib-ffi %{ffi_ver}
+%global version %{stdlib_version}
+
+
+%global debug_package %{nil}
+
+
+%prep
+%setup -q -n lib-%{version}
+
+
+%build
+HOME=$PWD
+cd ffi
+%define cabal_configure_options --user
+%ghc_lib_build agda-lib-ffi %{ffi_ver}
+cd ..
+agda -i. -isrc Everything.agda
+
+agda --html -i. -isrc README.agda
+
+
+%install
+HOME=$PWD
+cd ffi
+%ghc_lib_install agda-lib-ffi %{ffi_ver}
+./Setup register --inplace
+mv *.files ..
+cd ..
+
+mkdir -p %{buildroot}%{_datadir}/%{name}
+cp -pr Everything.agda* src/* %{buildroot}%{_datadir}/%{name}
+
+rm README.agdai README/*.agdai
+
+
+%files 
+%doc LICENCE release-notes README*
+%{_datadir}/%{name}
+
+
+%files docs
+%doc LICENCE html
+
+
+%changelog
+* Mon Feb  3 2014 Jens Petersen <petersen at redhat.com> - 0.7-2
+- only build on arch's where Agda builds
+
+* Tue Jun 25 2013 Jens Petersen <petersen at redhat.com> - 0.7-1
+- update to 0.7 with agda-lib-ffi-0.0.2
+- use ghc-rpm-macros-extra
+- add ffi_ver macro for agda-lib-ffi version
+
+* Thu Jul 12 2012 Jens Petersen <petersen at redhat.com> - 0.6-4
+- move stdlib files to datadir
+- subpackage html docs
+
+* Wed Jul 11 2012 Jens Petersen <petersen at redhat.com> - 0.6-3
+- subpackage agda-lib-ffi for MAlonzo backend
+
+* Wed Jul 11 2012 Jens Petersen <petersen at redhat.com> - 0.6-2
+- fix the manifest to include the libraries
+- add html
+- turn off debuginfo
+- remove README interface files
+
+* Wed Jul 11 2012 Jens Petersen <petersen at redhat.com> - 0.6-1
+- update to 0.6
+
+* Sat Jun  4 2011 Fedora Haskell SIG <haskell-devel at lists.fedoraproject.org>
+- initial packaging for Fedora automatically generated by cabal2spec-0.23
diff --git a/sources b/sources
index e69de29..badbeef 100644
--- a/sources
+++ b/sources
@@ -0,0 +1 @@
+ff390e42876caf97d4e96e0d6fb00b01  lib-0.7.tar.gz