unofficial mirror of guix-patches@gnu.org 
 help / color / mirror / code / Atom feed
* bug#26603: fix ocaml-stringext
@ 2017-04-22  9:22 Julien Lepiller
  2017-04-23  0:55 ` Leo Famulari
  2017-04-30 10:38 ` bug#26603: (no subject) Julien Lepiller
  0 siblings, 2 replies; 3+ messages in thread
From: Julien Lepiller @ 2017-04-22  9:22 UTC (permalink / raw)
  To: 26603

[-- Attachment #1: Type: text/plain, Size: 155 bytes --]

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.

[-- Attachment #2: 0001-gnu-Add-ocaml-qcheck.patch --]
[-- Type: text/x-patch, Size: 1774 bytes --]

From f00486188ee276c59926ea940b3bc3d81d913e9d Mon Sep 17 00:00:00 2001
From: Julien Lepiller <julien@lepiller.eu>
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


[-- Attachment #3: 0002-gnu-ocaml-qtest-Use-ocaml-qcheck.patch --]
[-- Type: text/x-patch, Size: 845 bytes --]

From 4edec8b983e6ae1dd40b277f10349c6ccca07bf4 Mon Sep 17 00:00:00 2001
From: Julien Lepiller <julien@lepiller.eu>
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


^ permalink raw reply related	[flat|nested] 3+ messages in thread

* bug#26603: fix ocaml-stringext
  2017-04-22  9:22 bug#26603: fix ocaml-stringext Julien Lepiller
@ 2017-04-23  0:55 ` Leo Famulari
  2017-04-30 10:38 ` bug#26603: (no subject) Julien Lepiller
  1 sibling, 0 replies; 3+ messages in thread
From: Leo Famulari @ 2017-04-23  0:55 UTC (permalink / raw)
  To: Julien Lepiller; +Cc: 26603

[-- Attachment #1: Type: text/plain, Size: 511 bytes --]

On Sat, Apr 22, 2017 at 11:22:34AM +0200, Julien Lepiller wrote:
> 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.

> Subject: [PATCH 1/2] gnu: Add ocaml-qcheck.
> 
> * gnu/packages/ocaml.scm (ocaml-qcheck): New variable.

> Subject: [PATCH 2/2] gnu: ocaml-qtest: Use ocaml-qcheck.
> 
> * gnu/packages/ocaml.scm (ocaml-qtest)[propagated-inputs]: Add ocaml-qcheck.

LGTM, thanks!

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 833 bytes --]

^ permalink raw reply	[flat|nested] 3+ messages in thread

* bug#26603: (no subject)
  2017-04-22  9:22 bug#26603: fix ocaml-stringext Julien Lepiller
  2017-04-23  0:55 ` Leo Famulari
@ 2017-04-30 10:38 ` Julien Lepiller
  1 sibling, 0 replies; 3+ messages in thread
From: Julien Lepiller @ 2017-04-30 10:38 UTC (permalink / raw)
  To: 26603-done



^ permalink raw reply	[flat|nested] 3+ messages in thread

end of thread, other threads:[~2017-04-30 10:40 UTC | newest]

Thread overview: 3+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2017-04-22  9:22 bug#26603: fix ocaml-stringext Julien Lepiller
2017-04-23  0:55 ` Leo Famulari
2017-04-30 10:38 ` bug#26603: (no subject) Julien Lepiller

Code repositories for project(s) associated with this public inbox

	https://git.savannah.gnu.org/cgit/guix.git

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).