From 43525f9ee12a40bf3ad2c2521832fd7fc3a658f8 Mon Sep 17 00:00:00 2001
From: Vincent Laporte
Date: Mon, 3 Dec 2018 15:31:52 +0000
Subject: [Nix-ci] Add QuickChick

---
 dev/ci/nix/quickchick.nix | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 dev/ci/nix/quickchick.nix

(limited to 'dev/ci/nix/quickchick.nix')

diff --git a/dev/ci/nix/quickchick.nix b/dev/ci/nix/quickchick.nix
new file mode 100644
index 0000000000..b057160cb8
--- /dev/null
+++ b/dev/ci/nix/quickchick.nix
@@ -0,0 +1,5 @@
+{ ocamlPackages, ssreflect, coq-ext-lib, simple-io }:
+{
+  buildInputs = [ ssreflect coq-ext-lib simple-io ]
+  ++ (with ocamlPackages; [ ocaml findlib ocamlbuild num ]);
+}
-- 
cgit v1.2.3


From dec2994980e00eff72f474aed6da94b97c3d703a Mon Sep 17 00:00:00 2001
From: Vincent Laporte
Date: Thu, 24 Jan 2019 09:58:33 +0000
Subject: [nix-CI] Split the build inputs

Coq and the Coq libraries can now be excluded
(by setting the NOCOQ environment variable).
---
 dev/ci/nix/quickchick.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'dev/ci/nix/quickchick.nix')

diff --git a/dev/ci/nix/quickchick.nix b/dev/ci/nix/quickchick.nix
index b057160cb8..46bf02ae3c 100644
--- a/dev/ci/nix/quickchick.nix
+++ b/dev/ci/nix/quickchick.nix
@@ -1,5 +1,5 @@
 { ocamlPackages, ssreflect, coq-ext-lib, simple-io }:
 {
-  buildInputs = [ ssreflect coq-ext-lib simple-io ]
-  ++ (with ocamlPackages; [ ocaml findlib ocamlbuild num ]);
+  buildInputs = with ocamlPackages; [ ocaml findlib ocamlbuild num ];
+  coqBuildInputs = [ ssreflect coq-ext-lib simple-io ];
 }
-- 
cgit v1.2.3