blob: c1ff163d9b93f10d09c5ea62021911794dba518c (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
|
%global debug_package %{nil}
Name: guile-quickcheck
Version: 0.1.0
Release: 4%{?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
* Sun Nov 03 2024 Ting-Wei Lan <lantw44@gmail.com> - 0.1.0-4
- Rebuilt for Fedora 39, 40, 41, 42
* Sat Oct 05 2024 Ting-Wei Lan <lantw44@gmail.com> - 0.1.0-3
- Drop the brp-strip workaround
* Wed Apr 19 2023 Ting-Wei Lan <lantw44@gmail.com> - 0.1.0-2
- Rebuilt for Fedora 38 and 39
* Sun Feb 12 2023 Ting-Wei Lan <lantw44@gmail.com> - 0.1.0-1
- Initial packaging
|
