ocamlPackages.qcheck: fix for OCaml ≥ 5.0

This commit is contained in:
Vincent Laporte 2023-04-05 06:17:56 +02:00
parent eee0652b6b
commit f80bf9ab05
No known key found for this signature in database
GPG key ID: EBD582ADDDB1F81F
5 changed files with 48 additions and 3 deletions

View file

@ -3,7 +3,9 @@
buildDunePackage {
pname = "qcheck-alcotest";
inherit (qcheck-core) version src;
inherit (qcheck-core) version src patches;
duneVersion = "3";
propagatedBuildInputs = [ qcheck-core alcotest ];

View file

@ -0,0 +1,36 @@
diff --git a/src/alcotest/dune b/src/alcotest/dune
index 220a8b3..df1ffe0 100644
--- a/src/alcotest/dune
+++ b/src/alcotest/dune
@@ -3,6 +3,6 @@
(name qcheck_alcotest)
(public_name qcheck-alcotest)
(wrapped false)
- (libraries unix bytes qcheck-core qcheck-core.runner alcotest)
+ (libraries unix qcheck-core qcheck-core.runner alcotest)
(flags :standard -w +a-4-42-44-48-50-58-32-60@8 -safe-string)
)
diff --git a/src/core/dune b/src/core/dune
index ad0939f..42dc8ac 100644
--- a/src/core/dune
+++ b/src/core/dune
@@ -3,6 +3,6 @@
(name qcheck_core)
(public_name qcheck-core)
(wrapped false)
- (libraries unix bytes)
+ (libraries unix)
(flags :standard -w +a-4-42-44-48-50-58-32-60@8 -safe-string)
)
diff --git a/src/ounit/dune b/src/ounit/dune
index 2fadb7a..41f8d4b 100644
--- a/src/ounit/dune
+++ b/src/ounit/dune
@@ -3,6 +3,6 @@
(name qcheck_ounit)
(public_name qcheck-ounit)
(wrapped false)
- (libraries unix bytes qcheck-core qcheck-core.runner ounit2)
+ (libraries unix qcheck-core qcheck-core.runner ounit2)
(flags :standard -w +a-4-42-44-48-50-58-32-60@8 -safe-string)
)

View file

@ -5,6 +5,7 @@ buildDunePackage rec {
version = "0.20";
minimalOCamlVersion = "4.08";
duneVersion = "3";
src = fetchFromGitHub {
owner = "c-cube";
@ -13,6 +14,8 @@ buildDunePackage rec {
sha256 = "sha256-d3gleiaPEDJTbHtieL4oAq1NlA/0NtzdW9SA1sItFeQ=";
};
patches = [ ./bytes.patch ];
meta = {
description = "Core qcheck library";
homepage = "https://c-cube.github.io/qcheck/";

View file

@ -3,7 +3,9 @@
buildDunePackage {
pname = "qcheck";
inherit (qcheck-ounit) version src;
inherit (qcheck-ounit) version src patches;
duneVersion = "3";
propagatedBuildInputs = [ qcheck-ounit ];

View file

@ -3,7 +3,9 @@
buildDunePackage {
pname = "qcheck-ounit";
inherit (qcheck-core) version src;
inherit (qcheck-core) version src patches;
duneVersion = "3";
propagatedBuildInputs = [ qcheck-core ounit ];