[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#33079] [PATCH 22/34] gnu: Fix ocaml-qcheck.
From: |
Julien Lepiller |
Subject: |
[bug#33079] [PATCH 22/34] gnu: Fix ocaml-qcheck. |
Date: |
Wed, 17 Oct 2018 22:34:30 +0200 |
* gnu/packages/ocaml.scm (ocaml-qcheck)[native-inputs]: Add ocamlbuild.
(ocaml4.02-qcheck): New variable.
---
gnu/packages/ocaml.scm | 6 +++++-
1 file changed, 5 insertions(+), 1 deletion(-)
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 795cd2240..fc1a50e04 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -1317,7 +1317,8 @@ GNU CC attributes. It provides also a C pretty printer
as an example of use.")
"1zs1pg5cb1iry554v3cdmmiglsrwmsqa9x8zxmzb118fnk5d3ha6"))))
(build-system ocaml-build-system)
(native-inputs
- `(("ounit" ,ocaml-ounit)))
+ `(("ounit" ,ocaml-ounit)
+ ("ocamlbuild" ,ocamlbuild)))
(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
@@ -1326,6 +1327,9 @@ generated instances of the type. It provides combinators
for generating
instances and printing them.")
(license license:lgpl3+)))
+(define-public ocaml4.02-qcheck
+ (package-with-ocaml4.02 ocaml-qcheck))
+
(define-public ocaml-qtest
(package
(name "ocaml-qtest")
--
2.18.0
- [bug#33079] [PATCH 05/34] gnu: Add ocaml4.02-findlib., (continued)
- [bug#33079] [PATCH 05/34] gnu: Add ocaml4.02-findlib., Julien Lepiller, 2018/10/17
- [bug#33079] [PATCH 08/34] gnu: lablgtk: Update to 2.18.6., Julien Lepiller, 2018/10/17
- [bug#33079] [PATCH 02/34] gnu: Add ocamlbuild., Julien Lepiller, 2018/10/17
- [bug#33079] [PATCH 03/34] gnu: camlp4: Update to 4.07+1., Julien Lepiller, 2018/10/17
- [bug#33079] [PATCH 11/34] gnu: Add ocaml-num., Julien Lepiller, 2018/10/17
- [bug#33079] [PATCH 15/34] gnu: Add ocaml4.02-lablgtk., Julien Lepiller, 2018/10/17
- [bug#33079] [PATCH 17/34] gnu: Fix ocaml-ounit., Julien Lepiller, 2018/10/17
- [bug#33079] [PATCH 14/34] gnu: ocaml-menhir: Fix build., Julien Lepiller, 2018/10/17
- [bug#33079] [PATCH 10/34] gnu: hevea: Update to 2.32., Julien Lepiller, 2018/10/17
- [bug#33079] [PATCH 07/34] guix: ocaml-build-system: Replace system* with invoke., Julien Lepiller, 2018/10/17
- [bug#33079] [PATCH 22/34] gnu: Fix ocaml-qcheck.,
Julien Lepiller <=
- [bug#33079] [PATCH 04/34] gnu: ocaml-findlib: Update to 1.8.0., Julien Lepiller, 2018/10/17
- [bug#33079] [PATCH 06/34] guix: ocaml: Add package-with-ocaml4.02., Julien Lepiller, 2018/10/17
- [bug#33079] [PATCH 13/34] gnu: opam: Update to 2.0.0., Julien Lepiller, 2018/10/17
- [bug#33079] [PATCH 09/34] gnu: camlp5: Update to 7.06., Julien Lepiller, 2018/10/17
- [bug#33079] [PATCH 19/34] gnu: ocmalmod: Update to 0.0.9., Julien Lepiller, 2018/10/17
- [bug#33079] [PATCH 20/34] gnu: Add ocaml4.02-zarith., Julien Lepiller, 2018/10/17
- [bug#33079] [PATCH 23/34] gnu: Fix ocaml-qtest., Julien Lepiller, 2018/10/17
- [bug#33079] [PATCH 25/34] gnu: ocaml-bisect: Update to 1.3.1., Julien Lepiller, 2018/10/17
- [bug#33079] [PATCH 26/34] gnu: ocaml-bisect: Update to 1.3.1., Julien Lepiller, 2018/10/17