# generated by cabal-rpm-2.3.0 --standalone # https://docs.fedoraproject.org/en-US/packaging-guidelines/Haskell/ %global ghc_without_dynamic 1 %global ghc_without_shared 1 %undefine with_ghc_prof %undefine with_haddock %global without_prof 1 %global without_haddock 1 %global debug_package %{nil} Name: rzk Version: 0.7.5 Release: 1%{?dist} Summary: An experimental proof assistant for synthetic ∞-categories License: BSD-3-Clause URL: https://hackage.haskell.org/package/rzk # Begin cabal-rpm sources: Source0: https://hackage.haskell.org/package/%{name}-%{version}/%{name}-%{version}.tar.gz # End cabal-rpm sources # Begin cabal-rpm deps: BuildRequires: ghc-Cabal-devel BuildRequires: ghc-process-devel BuildRequires: ghc-rpm-macros BuildRequires: ghc-Glob-devel BuildRequires: ghc-aeson-devel BuildRequires: ghc-array-devel BuildRequires: ghc-base-devel BuildRequires: ghc-bifunctors-devel BuildRequires: ghc-bytestring-devel #BuildRequires: ghc-co-log-core-devel BuildRequires: ghc-data-default-class-devel BuildRequires: ghc-directory-devel BuildRequires: ghc-filepath-devel BuildRequires: ghc-lens-devel #BuildRequires: ghc-lsp-devel #BuildRequires: ghc-lsp-types-devel BuildRequires: ghc-mtl-devel #BuildRequires: ghc-optparse-generic-devel BuildRequires: ghc-stm-devel BuildRequires: ghc-template-haskell-devel BuildRequires: ghc-text-devel #BuildRequires: ghc-with-utf8-devel BuildRequires: ghc-yaml-devel #BuildRequires: BNFC BuildRequires: alex BuildRequires: happy BuildRequires: cabal-install # for missing dep 'generic-arbitrary': BuildRequires: ghc-QuickCheck-devel # for missing dep 'generic-lens': BuildRequires: ghc-profunctors-devel # for missing dep 'generic-lens-core': %if 0%{?fedora} >= 42 BuildRequires: ghc-indexed-profunctors-devel %endif # for missing dep 'lsp': BuildRequires: ghc-async-devel BuildRequires: ghc-attoparsec-devel BuildRequires: ghc-containers-devel BuildRequires: ghc-data-default-devel BuildRequires: ghc-exceptions-devel BuildRequires: ghc-extra-devel BuildRequires: ghc-hashable-devel BuildRequires: ghc-lens-aeson-devel BuildRequires: ghc-prettyprinter-devel BuildRequires: ghc-transformers-devel BuildRequires: ghc-unliftio-devel BuildRequires: ghc-unliftio-core-devel BuildRequires: ghc-unordered-containers-devel # for missing dep 'lsp-types': BuildRequires: ghc-Diff-devel BuildRequires: ghc-QuickCheck-devel BuildRequires: ghc-binary-devel BuildRequires: ghc-containers-devel BuildRequires: ghc-data-default-devel BuildRequires: ghc-deepseq-devel BuildRequires: ghc-dlist-devel BuildRequires: ghc-exceptions-devel BuildRequires: ghc-file-embed-devel BuildRequires: ghc-hashable-devel BuildRequires: ghc-indexed-traversable-devel BuildRequires: ghc-indexed-traversable-instances-devel BuildRequires: ghc-network-uri-devel BuildRequires: ghc-prettyprinter-devel %if 0%{?fedora} >= 41 BuildRequires: ghc-quickcheck-instances-devel %endif BuildRequires: ghc-safe-devel BuildRequires: ghc-some-devel BuildRequires: ghc-witherable-devel # for missing dep 'mod': BuildRequires: ghc-deepseq-devel BuildRequires: ghc-ghc-bignum-devel BuildRequires: ghc-primitive-devel BuildRequires: ghc-vector-devel # for missing dep 'optparse-generic': BuildRequires: ghc-Only-devel BuildRequires: ghc-optparse-applicative-devel BuildRequires: ghc-time-devel BuildRequires: ghc-transformers-devel BuildRequires: ghc-transformers-compat-devel BuildRequires: ghc-void-devel # for missing dep 'regex': BuildRequires: ghc-base-compat-devel BuildRequires: ghc-containers-devel BuildRequires: ghc-hashable-devel BuildRequires: ghc-regex-base-devel BuildRequires: ghc-regex-tdfa-devel BuildRequires: ghc-time-devel BuildRequires: ghc-time-locale-compat-devel BuildRequires: ghc-transformers-devel BuildRequires: ghc-unordered-containers-devel BuildRequires: ghc-utf8-string-devel # for missing dep 'regex-pcre-builtin': BuildRequires: ghc-containers-devel BuildRequires: ghc-regex-base-devel # for missing dep 'row-types': BuildRequires: ghc-constraints-devel BuildRequires: ghc-deepseq-devel BuildRequires: ghc-hashable-devel BuildRequires: ghc-profunctors-devel BuildRequires: ghc-unordered-containers-devel # for missing dep 'semirings': BuildRequires: ghc-containers-devel BuildRequires: ghc-hashable-devel BuildRequires: ghc-unordered-containers-devel # for missing dep 'sorted-list': BuildRequires: ghc-deepseq-devel # for missing dep 'text-rope': BuildRequires: ghc-deepseq-devel BuildRequires: ghc-vector-devel # for missing dep 'with-utf8': BuildRequires: ghc-process-devel BuildRequires: ghc-safe-exceptions-devel BuildRequires: ghc-th-env-devel # End cabal-rpm deps %description Please see the README on GitHub at . %prep # Begin cabal-rpm setup: %setup -q # End cabal-rpm setup %build # Begin cabal-rpm build: %global cabal_install %{_bindir}/cabal %cabal_install update %if %{defined rhel} && 0%{?rhel} < 9 %cabal_install sandbox init %cabal_install install %endif # End cabal-rpm build %install # Begin cabal-rpm install mkdir -p %{buildroot}%{_bindir} %if %{defined fedora} || 0%{?rhel} >= 9 %ghc_set_gcc_flags %cabal_install install --install-method=copy --enable-executable-stripping --installdir=%{buildroot}%{_bindir} %else for i in .cabal-sandbox/bin/*; do strip -s -o %{buildroot}%{_bindir}/$(basename $i) $i done %endif # End cabal-rpm install %files # Begin cabal-rpm files: %license LICENSE %doc ChangeLog.md README.md %{_bindir}/%{name} # End cabal-rpm files %changelog * Thu Mar 13 2025 Jens Petersen - 0.7.5-1 - spec file generated by cabal-rpm-2.3.0