From cfa48cd31c2edd1cc68d9a6451eb77660bbdda3f Mon Sep 17 00:00:00 2001 From: Andy Li Date: Tue, 21 Nov 2017 14:29:12 +0800 Subject: [PATCH] initial import (#1515080) --- .gitignore | 1 + README.md | 3 -- ocaml-qcheck.spec | 81 +++++++++++++++++++++++++++++++++++++++++++++++ sources | 1 + 4 files changed, 83 insertions(+), 3 deletions(-) create mode 100644 .gitignore delete mode 100644 README.md create mode 100644 ocaml-qcheck.spec create mode 100644 sources diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..dc7a07c --- /dev/null +++ b/.gitignore @@ -0,0 +1 @@ +/ocaml-qcheck-0.7.tar.gz diff --git a/README.md b/README.md deleted file mode 100644 index 9c621a5..0000000 --- a/README.md +++ /dev/null @@ -1,3 +0,0 @@ -# ocaml-qcheck - -The ocaml-qcheck package \ No newline at end of file diff --git a/ocaml-qcheck.spec b/ocaml-qcheck.spec new file mode 100644 index 0000000..1415986 --- /dev/null +++ b/ocaml-qcheck.spec @@ -0,0 +1,81 @@ +%global debug_package %{nil} + +Name: ocaml-qcheck +Version: 0.7 +Release: 1%{?dist} +Summary: QuickCheck inspired property-based testing for OCaml + +License: BSD +URL: https://github.com/c-cube/qcheck +Source0: https://github.com/c-cube/qcheck/archive/%{version}/%{name}-%{version}.tar.gz + +BuildRequires: ocaml +BuildRequires: ocaml-ocamlbuild +BuildRequires: ocaml-findlib +BuildRequires: ocaml-ocamldoc +BuildRequires: ocaml-ounit-devel + + +%description +This module allows to check invariants (properties of some types) over +randomly generated instances of the type. It provides combinators for +generating instances and printing them. + + +%package devel +Summary: Development files for %{name} +Group: Development/Libraries +Requires: %{name}%{?_isa} = %{version}-%{release} + + +%description devel +The %{name}-devel package contains libraries and signature files for +developing applications that use %{name}. + + +%prep +%setup -q -n qcheck-%{version} + + +%build +ocaml setup.ml -configure --destdir $RPM_BUILD_ROOT --prefix %{_prefix} +ocaml setup.ml -build + + +%install +export DESTDIR=$RPM_BUILD_ROOT +export OCAMLFIND_DESTDIR=$RPM_BUILD_ROOT%{_libdir}/ocaml +mkdir -p $OCAMLFIND_DESTDIR +ocaml setup.ml -install + + +%check +ocaml setup.ml -test + + +%files +%doc README.adoc CHANGELOG.md +%license LICENSE +%{_libdir}/ocaml/qcheck +%ifarch %{ocaml_native_compiler} +%exclude %{_libdir}/ocaml/qcheck/*.a +%exclude %{_libdir}/ocaml/qcheck/*.cmxa +%exclude %{_libdir}/ocaml/qcheck/*.cmx +%endif +%exclude %{_libdir}/ocaml/qcheck/*.mli + + +%files devel +%doc README.adoc CHANGELOG.md +%license LICENSE +%ifarch %{ocaml_native_compiler} +%{_libdir}/ocaml/qcheck/*.a +%{_libdir}/ocaml/qcheck/*.cmxa +%{_libdir}/ocaml/qcheck/*.cmx +%endif +%{_libdir}/ocaml/qcheck/*.mli + + +%changelog +* Mon Nov 20 2017 Andy Li - 0.7-1 +- Initial RPM release. diff --git a/sources b/sources new file mode 100644 index 0000000..c902d82 --- /dev/null +++ b/sources @@ -0,0 +1 @@ +SHA512 (ocaml-qcheck-0.7.tar.gz) = 3082029a09d5efe3af0cb8fcd0bd08f11dd1066d5bffc6beaac16c7244b07286b3ae93931e699f22c977ad4d6ba050dff69b133ce3492455d6932a9e0cc304f7