rpms/ocaml-qcheck
3
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

- New upstream release.

Browse Source 
- Update build system and commands from jbuilder to dune.
This commit is contained in:
Andy Li 2019-07-27 18:18:02 +08:00
parent 4e31f0f8bc
commit 39f1d11a30
3 changed files with 33 additions and 17 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
.gitignore vendored
View File

@ -1,2 +1,3 @@
/ocaml-qcheck-0.7.tar.gz /ocaml-qcheck-0.7.tar.gz
/ocaml-qcheck-0.8.tar.gz /ocaml-qcheck-0.8.tar.gz
/ocaml-qcheck-0.10.tar.gz

47
ocaml-qcheck.spec
View File

@ -1,6 +1,6 @@
Name: ocaml-qcheck Name: ocaml-qcheck
Version: 0.8 Version: 0.10
Release: 8%{?dist} Release: 1%{?dist}
Summary: QuickCheck inspired property-based testing for OCaml Summary: QuickCheck inspired property-based testing for OCaml
License: BSD License: BSD
@ -8,7 +8,7 @@ URL: https://github.com/c-cube/qcheck
Source0: https://github.com/c-cube/qcheck/archive/%{version}/%{name}-%{version}.tar.gz Source0: https://github.com/c-cube/qcheck/archive/%{version}/%{name}-%{version}.tar.gz
BuildRequires: ocaml BuildRequires: ocaml
BuildRequires: jbuilder BuildRequires: ocaml-dune
BuildRequires: ocaml-ocamlbuild BuildRequires: ocaml-ocamlbuild
BuildRequires: ocaml-findlib BuildRequires: ocaml-findlib
BuildRequires: ocaml-ounit-devel BuildRequires: ocaml-ounit-devel
@ -36,47 +36,62 @@ developing applications that use %{name}.
%build %build
jbuilder build @install # do not build alcotest support since it is not packaged yet
dune build @install -p qcheck,qcheck-core,qcheck-ounit --verbose
%install %install
mkdir -p %{buildroot}%{_libdir}/ocaml mkdir -p %{buildroot}%{_libdir}/ocaml
jbuilder install --destdir=%{buildroot} --libdir=%{buildroot}%{_libdir}/ocaml dune install --destdir=%{buildroot} qcheck qcheck-core qcheck-ounit
# These files will be installed using doc and license directives. # These files will be installed using doc and license directives.
rm -r %{buildroot}/doc rm -r %{buildroot}%{_prefix}/doc
# Makes *.cmxs executable such that they will be stripped. # Makes *.cmxs executable such that they will be stripped.
find %{buildroot} -name '*.cmxs' -exec chmod 0755 {} \; find %{buildroot} -name '*.cmxs' -exec chmod 0755 {} \;
%check %check
jbuilder runtest --no-buffer dune runtest --no-buffer --profile release
%files %files
%doc README.adoc CHANGELOG.md %doc README.adoc CHANGELOG.md
%license LICENSE %license LICENSE
%{_libdir}/ocaml/qcheck %{_libdir}/ocaml/*
%{_libdir}/ocaml/*/*
%ifarch %{ocaml_native_compiler} %ifarch %{ocaml_native_compiler}
%exclude %{_libdir}/ocaml/qcheck/*.a %exclude %{_libdir}/ocaml/*/{,*/}*.a
%exclude %{_libdir}/ocaml/qcheck/*.cmxa %exclude %{_libdir}/ocaml/*/{,*/}*.cmxa
%exclude %{_libdir}/ocaml/qcheck/*.cmx %exclude %{_libdir}/ocaml/*/{,*/}*.cmx
%endif %endif
%exclude %{_libdir}/ocaml/qcheck/*.mli %exclude %{_libdir}/ocaml/*/{,*/}*.ml
%exclude %{_libdir}/ocaml/*/{,*/}*.mli
%files devel %files devel
%doc README.adoc CHANGELOG.md %doc README.adoc CHANGELOG.md
%license LICENSE %license LICENSE
%ifarch %{ocaml_native_compiler} %ifarch %{ocaml_native_compiler}
%{_libdir}/ocaml/qcheck/*.a %{_libdir}/ocaml/*/{,*/}*.a
%{_libdir}/ocaml/qcheck/*.cmxa %{_libdir}/ocaml/*/{,*/}*.cmxa
%{_libdir}/ocaml/qcheck/*.cmx %{_libdir}/ocaml/*/{,*/}*.cmx
%endif %endif
%{_libdir}/ocaml/qcheck/*.mli %{_libdir}/ocaml/*/{,*/}*.ml
%{_libdir}/ocaml/*/{,*/}*.mli
%{_libdir}/ocaml/*/{,*/}*.cma
%{_libdir}/ocaml/*/{,*/}*.cmi
%{_libdir}/ocaml/*/{,*/}*.cmt
%{_libdir}/ocaml/*/{,*/}*.cmti
%{_libdir}/ocaml/*/dune-package
%{_libdir}/ocaml/*/META
%{_libdir}/ocaml/*/opam
%changelog %changelog
* Sat Jul 27 2019 Andy Li <andy@onthewings.net> - 0.10-1
- New upstream release.
- Update build system and commands from jbuilder to dune.
* Thu Jul 25 2019 Fedora Release Engineering <releng@fedoraproject.org> - 0.8-8 * Thu Jul 25 2019 Fedora Release Engineering <releng@fedoraproject.org> - 0.8-8
- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild

2
sources
View File

@ -1 +1 @@
SHA512 (ocaml-qcheck-0.8.tar.gz) = fbf924f09925411109a7d8262cac625e49f985d38a23ff1330079367d63ba62c0b95e3b81e9ae7f8dd10aad415f0cb709acc06fbfd40fd6c492aa952189127a7 SHA512 (ocaml-qcheck-0.10.tar.gz) = 250d7934012455d29d95b710f5b42bbe3ea42e6ec1b5781dba807781ac9d5a66ca39dc4535667fd9b00bfcc566e11dbdb3f7306dde1d8f0e9f90d1447cdc4d97