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/default.nix    | 11 ++++++++++-
 dev/ci/nix/quickchick.nix |  5 +++++
 2 files changed, 15 insertions(+), 1 deletion(-)
 create mode 100644 dev/ci/nix/quickchick.nix

(limited to 'dev/ci')

diff --git a/dev/ci/nix/default.nix b/dev/ci/nix/default.nix
index 35f44f8e84..2c6e5b37bc 100644
--- a/dev/ci/nix/default.nix
+++ b/dev/ci/nix/default.nix
@@ -16,6 +16,11 @@ let mathcomp = coqPackages.mathcomp.overrideAttrs (o: {
     name = "coq-git-mathcomp-git";
     src = fetchTarball https://github.com/math-comp/math-comp/archive/master.tar.gz;
   }); in
+let ssreflect = coqPackages.ssreflect.overrideAttrs (o: {
+  inherit (mathcomp) src;
+  }); in
+let coq-ext-lib = coqPackages.coq-ext-lib; in
+let simple-io = coqPackages.simple-io; in
 let bignums = coqPackages.bignums.overrideAttrs (o:
     if bn == "release" then {} else
     if bn == "master" then { src = fetchTarball https://github.com/coq/bignums/archive/master.tar.gz; } else
@@ -35,7 +40,10 @@ let corn = (coqPackages.corn.override { inherit coq bignums math-classes; })
 
 let unicoq = callPackage ./unicoq { inherit coq; }; in
 
-let callPackage = newScope { inherit coq mathcomp bignums coqprime corn math-classes unicoq; }; in
+let callPackage = newScope { inherit coq
+  bignums coq-ext-lib coqprime corn math-classes
+  mathcomp simple-io ssreflect unicoq;
+}; in
 
 # Environments for building CI libraries with this Coq
 let projects = {
@@ -57,6 +65,7 @@ let projects = {
   mathcomp = {};
   mtac2 = callPackage ./mtac2.nix {};
   oddorder = callPackage ./oddorder.nix {};
+  quickchick = callPackage ./quickchick.nix {};
   VST = callPackage ./VST.nix {};
 }; in
 
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