# 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 - 0.7-2 - only build on arch's where Agda builds * Tue Jun 25 2013 Jens Petersen - 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 - 0.6-4 - move stdlib files to datadir - subpackage html docs * Wed Jul 11 2012 Jens Petersen - 0.6-3 - subpackage agda-lib-ffi for MAlonzo backend * Wed Jul 11 2012 Jens Petersen - 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 - 0.6-1 - update to 0.6 * Sat Jun 4 2011 Fedora Haskell SIG - initial packaging for Fedora automatically generated by cabal2spec-0.23