From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:41985) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1d1rFy-0004o2-Tf for guix-patches@gnu.org; Sat, 22 Apr 2017 05:23:08 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1d1rFu-0000pl-QR for guix-patches@gnu.org; Sat, 22 Apr 2017 05:23:06 -0400 Received: from debbugs.gnu.org ([208.118.235.43]:34991) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1d1rFu-0000pf-M1 for guix-patches@gnu.org; Sat, 22 Apr 2017 05:23:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1d1rFu-0002lD-E2 for guix-patches@gnu.org; Sat, 22 Apr 2017 05:23:02 -0400 Subject: bug#26603: fix ocaml-stringext Resent-Message-ID: Received: from eggs.gnu.org ([2001:4830:134:3::10]:41937) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1d1rFh-0004nl-Jy for guix-patches@gnu.org; Sat, 22 Apr 2017 05:22:51 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1d1rFd-0000mE-LO for guix-patches@gnu.org; Sat, 22 Apr 2017 05:22:49 -0400 Received: from dau94-h03-89-91-205-84.dsl.sta.abo.bbox.fr ([89.91.205.84]:60172 helo=skaro.lepiller.eu) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1d1rFd-0000lw-8v for guix-patches@gnu.org; Sat, 22 Apr 2017 05:22:45 -0400 Received: from localhost (localhost [127.0.0.1]) by skaro.lepiller.eu (Postfix) with ESMTP id 54298810B1 for ; Sat, 22 Apr 2017 11:22:43 +0200 (CEST) Received: from skaro.lepiller.eu ([127.0.0.1]) by localhost (lepiller.eu [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id hp-pA8lZly7e for ; Sat, 22 Apr 2017 11:22:39 +0200 (CEST) Received: from localhost (89-93-157-164.hfc.dyn.abo.bbox.fr [89.93.157.164]) by skaro.lepiller.eu (Postfix) with ESMTPSA id A11347FD07 for ; Sat, 22 Apr 2017 11:22:38 +0200 (CEST) Date: Sat, 22 Apr 2017 11:22:34 +0200 From: Julien Lepiller Message-ID: <20170422112234.6f3d5aff@lepiller.eu> MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="MP_/7vZ2hQPts10ahv=ogtyYXx8" List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: 26603@debbugs.gnu.org --MP_/7vZ2hQPts10ahv=ogtyYXx8 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Content-Disposition: inline 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. --MP_/7vZ2hQPts10ahv=ogtyYXx8 Content-Type: text/x-patch Content-Transfer-Encoding: 7bit Content-Disposition: attachment; filename=0001-gnu-Add-ocaml-qcheck.patch >From f00486188ee276c59926ea940b3bc3d81d913e9d Mon Sep 17 00:00:00 2001 From: Julien Lepiller 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 --MP_/7vZ2hQPts10ahv=ogtyYXx8 Content-Type: text/x-patch Content-Transfer-Encoding: 7bit Content-Disposition: attachment; filename=0002-gnu-ocaml-qtest-Use-ocaml-qcheck.patch >From 4edec8b983e6ae1dd40b277f10349c6ccca07bf4 Mon Sep 17 00:00:00 2001 From: Julien Lepiller 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 --MP_/7vZ2hQPts10ahv=ogtyYXx8--