Subject: bug#26603: closed ()

From: [email-masked] (GNU bug Tracking System)
Date: Sun, 30 Apr 2017 10:40:02 +0000

Your bug report

#26603: fix ocaml-stringext

which was filed against the guix-patches package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to [email-masked].

-- 
26603: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=26603
GNU Bug Tracking System
Contact [email-masked] with problems

From: Julien Lepiller <[email-masked]>
To: [email-masked]
Date: Sun, 30 Apr 2017 12:38:46 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Subject: fix ocaml-stringext
From: Julien Lepiller <[email-masked]>
To: [email-masked]
Date: Sat, 22 Apr 2017 11:22:34 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi,

here are two patches to fix ocaml-stringext (and future packages I
still need to push). I forgot to add qcheck which is a runtime
dependency of qtest.

>From f00486188ee276c59926ea940b3bc3d81d913e9d Mon Sep 17 00:00:00 2001
From: Julien Lepiller <[email-masked]>
Date: Sat, 22 Apr 2017 11:09:27 +0200
Subject: [PATCH 1/2] gnu: Add ocaml-qcheck.

* gnu/packages/ocaml.scm (ocaml-qcheck): New variable.
---
 gnu/packages/ocaml.scm | 23 +++++++++++++++++++++++
 1 file changed, 23 insertions(+)

diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 169e42236..1a1cef353 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -969,6 +969,29 @@ It provides support for ANSI C syntax, old-C K&R style syntax and the standard
 GNU CC attributes.  It provides also a C pretty printer as an example of use.")
     (license license:lgpl2.1)))
 
+(define-public ocaml-qcheck
+  (package
+    (name "ocaml-qcheck")
+    (version "0.5.3.1")
+    (source (origin
+              (method url-fetch)
+              (uri (string-append "https://github.com/c-cube/qcheck/archive/"
+                                  version ".tar.gz"))
+              (file-name (string-append name "-" version ".tar.gz"))
+              (sha256
+               (base32
+                "1zs1pg5cb1iry554v3cdmmiglsrwmsqa9x8zxmzb118fnk5d3ha6"))))
+    (build-system ocaml-build-system)
+    (native-inputs
+     `(("ounit" ,ocaml-ounit)))
+    (home-page "https://github.com/c-cube/qcheck")
+    (synopsis "QuickCheck inspired property-based testing for OCaml")
+    (description "QuickCheck inspired property-based testing for OCaml. 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.")
+    (license license:lgpl3+)))
+
 (define-public ocaml-qtest
   (package
     (name "ocaml-qtest")
-- 
2.12.2

>From 4edec8b983e6ae1dd40b277f10349c6ccca07bf4 Mon Sep 17 00:00:00 2001
From: Julien Lepiller <[email-masked]>
Date: Sat, 22 Apr 2017 11:11:53 +0200
Subject: [PATCH 2/2] gnu: ocaml-qtest: Use ocaml-qcheck.

* gnu/packages/ocaml.scm (ocaml-qtest)[propagated-inputs]: Add ocaml-qcheck.
---
 gnu/packages/ocaml.scm | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 1a1cef353..0c21a74da 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -1007,7 +1007,8 @@ instances and printing them.")
     (native-inputs
      `(("findlib" ,ocaml-findlib)))
     (propagated-inputs
-     `(("ounit" ,ocaml-ounit)))
+     `(("ounit" ,ocaml-ounit)
+       ("qcheck" ,ocaml-qcheck)))
     (arguments
      `(#:tests? #f ; No test target.
        #:make-flags
-- 
2.12.2