New upstream release. (RHBZ#1541681)

Also, enable debug package.
This commit is contained in:
Andy Li 2018-02-05 11:54:44 +08:00
parent 90ea900a92
commit e5ad8c0dce
3 changed files with 19 additions and 13 deletions

1
.gitignore vendored
View File

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

View File

@ -1,8 +1,6 @@
%global debug_package %{nil}
Name: ocaml-qcheck
Version: 0.7
Release: 2%{?dist}
Version: 0.8
Release: 1%{?dist}
Summary: QuickCheck inspired property-based testing for OCaml
License: BSD
@ -10,10 +8,11 @@ URL: https://github.com/c-cube/qcheck
Source0: https://github.com/c-cube/qcheck/archive/%{version}/%{name}-%{version}.tar.gz
BuildRequires: ocaml
BuildRequires: jbuilder
BuildRequires: ocaml-ocamlbuild
BuildRequires: ocaml-findlib
BuildRequires: ocaml-ocamldoc
BuildRequires: ocaml-ounit-devel
BuildRequires: opam-installer
%description
@ -38,19 +37,21 @@ developing applications that use %{name}.
%build
ocaml setup.ml -configure --destdir $RPM_BUILD_ROOT --prefix %{_prefix}
ocaml setup.ml -build
%make_build
%install
export DESTDIR=$RPM_BUILD_ROOT
export OCAMLFIND_DESTDIR=$RPM_BUILD_ROOT%{_libdir}/ocaml
mkdir -p $OCAMLFIND_DESTDIR
ocaml setup.ml -install
mkdir -p %{buildroot}%{_libdir}/ocaml
jbuilder install --destdir=%{buildroot} --libdir=%{buildroot}%{_libdir}/ocaml
# These files will be installed using doc and license directives.
rm -r %{buildroot}/doc
# Makes *.cmxs executable such that they will be stripped.
find %{buildroot} -name '*.cmxs' -exec chmod 0755 {} \;
%check
ocaml setup.ml -test
%make_build test
%files
@ -77,6 +78,10 @@ ocaml setup.ml -test
%changelog
* Mon Feb 05 2018 Andy Li <andy@onthewings.net> - 0.8-1
- New upstream release. (RHBZ#1541681)
- Enable debug package.
* Sat Dec 02 2017 Richard W.M. Jones <rjones@redhat.com> - 0.7-2
- OCaml 4.06.0 rebuild.

View File

@ -1 +1 @@
SHA512 (ocaml-qcheck-0.7.tar.gz) = 3082029a09d5efe3af0cb8fcd0bd08f11dd1066d5bffc6beaac16c7244b07286b3ae93931e699f22c977ad4d6ba050dff69b133ce3492455d6932a9e0cc304f7
SHA512 (ocaml-qcheck-0.8.tar.gz) = fbf924f09925411109a7d8262cac625e49f985d38a23ff1330079367d63ba62c0b95e3b81e9ae7f8dd10aad415f0cb709acc06fbfd40fd6c492aa952189127a7