%global debug_package %{nil} # Workaround brp-strip failures on Fedora 35. # https://github.com/rpm-software-management/rpm/issues/1765 %if 0%{?fedora} >= 35 %global __brp_strip %{nil} %endif Name: guile-quickcheck Version: 0.1.0 Release: 2%{?dist} Summary: Randomized property-based testing for Guile License: GPLv3+ URL: https://ngyro.com/software/guile-quickcheck.html Source0: https://files.ngyro.com/%{name}/%{name}-%{version}.tar.gz %global guile_source_dir %{_datadir}/guile/site/3.0 %global guile_ccache_dir %{_libdir}/guile/3.0/site-ccache BuildRequires: make BuildRequires: pkgconfig(guile-3.0) Requires: guile30 %description This Guile library provides tools for randomized, property-based testing. It follows closely the QuickCheck library written in Haskell, with inspiration from the Racket version. You can use it to define a property (a predicate with specifications for its inputs) and test it by generating many random inputs and seeing if it holds. %prep %autosetup -p1 %build %configure %make_build %check %{__make} %{?_smp_mflags} check %install %make_install %files %license COPYING COPYING.CC0 %doc README %{guile_source_dir}/quickcheck.scm %{guile_ccache_dir}/quickcheck.go %dir %{guile_source_dir}/quickcheck %dir %{guile_ccache_dir}/quickcheck %{guile_source_dir}/quickcheck/*.scm %{guile_ccache_dir}/quickcheck/*.go %changelog * Wed Apr 19 2023 Ting-Wei Lan - 0.1.0-2 - Rebuilt for Fedora 38 and 39 * Sun Feb 12 2023 Ting-Wei Lan - 0.1.0-1 - Initial packaging