# 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:        3%{?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
%if 0%{?fedora} >= 20
BuildRequires: ghc-rpm-macros-extra
%else
BuildRequires: ghc-rpm-macros
%endif
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
* Wed Feb  5 2014 Jens Petersen <petersen@redhat.com> - 0.7-3
- no ghc-rpm-macros-extra on F19

* Mon Feb  3 2014 Jens Petersen <petersen@redhat.com> - 0.7-2
- only build on arch's where Agda builds

* Tue Jun 25 2013 Jens Petersen <petersen@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@redhat.com> - 0.6-4
- move stdlib files to datadir
- subpackage html docs

* Wed Jul 11 2012 Jens Petersen <petersen@redhat.com> - 0.6-3
- subpackage agda-lib-ffi for MAlonzo backend

* Wed Jul 11 2012 Jens Petersen <petersen@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@redhat.com> - 0.6-1
- update to 0.6

* Sat Jun  4 2011 Fedora Haskell SIG <haskell-devel@lists.fedoraproject.org>
- initial packaging for Fedora automatically generated by cabal2spec-0.23