all messages for Guix-related lists mirrored at yhetil.org
 help / color / mirror / code / Atom feed
From: Julien Lepiller <julien@lepiller.eu>
To: 26603@debbugs.gnu.org
Subject: bug#26603: fix ocaml-stringext
Date: Sat, 22 Apr 2017 11:22:34 +0200	[thread overview]
Message-ID: <20170422112234.6f3d5aff@lepiller.eu> (raw)

[-- 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


             reply	other threads:[~2017-04-22  9:23 UTC|newest]

Thread overview: 3+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2017-04-22  9:22 Julien Lepiller [this message]
2017-04-23  0:55 ` bug#26603: fix ocaml-stringext Leo Famulari
2017-04-30 10:38 ` bug#26603: (no subject) Julien Lepiller

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20170422112234.6f3d5aff@lepiller.eu \
    --to=julien@lepiller.eu \
    --cc=26603@debbugs.gnu.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
Code repositories for project(s) associated with this external index

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

This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.