From bb1ad2a59f0c9c6b62a1c70023a9ee31866b9a01 Mon Sep 17 00:00:00 2001
From: Vincent Laporte
Date: Thu, 29 Nov 2018 17:01:47 +0000
Subject: [Nix-ci] Add formal-topology

---
 dev/ci/nix/default.nix         | 10 ++++++++--
 dev/ci/nix/formal-topology.nix |  4 ++++
 2 files changed, 12 insertions(+), 2 deletions(-)
 create mode 100644 dev/ci/nix/formal-topology.nix

(limited to 'dev')

diff --git a/dev/ci/nix/default.nix b/dev/ci/nix/default.nix
index 4acfae48e4..ac4894dfd3 100644
--- a/dev/ci/nix/default.nix
+++ b/dev/ci/nix/default.nix
@@ -2,7 +2,7 @@
 , branch
 , wd
 , project ? "xyz"
-, bn ? "release"
+, bn ? "master"
 }:
 
 with pkgs;
@@ -28,9 +28,14 @@ let math-classes =
     src = fetchTarball "https://github.com/coq-community/math-classes/archive/master.tar.gz";
   }); in
 
+let corn = (coqPackages.corn.override { inherit coq bignums math-classes; })
+  .overrideAttrs (o: {
+    src = fetchTarball "https://github.com/coq-community/corn/archive/master.tar.gz";
+  }); in
+
 let unicoq = callPackage ./unicoq.nix { inherit coq; }; in
 
-let callPackage = newScope { inherit coq mathcomp bignums coqprime math-classes unicoq; }; in
+let callPackage = newScope { inherit coq mathcomp bignums coqprime corn math-classes unicoq; }; in
 
 # Environments for building CI libraries with this Coq
 let projects = {
@@ -45,6 +50,7 @@ let projects = {
   fiat_crypto = callPackage ./fiat_crypto.nix {};
   fiat_crypto_legacy = callPackage ./fiat_crypto_legacy.nix {};
   flocq = callPackage ./flocq.nix {};
+  formal-topology = callPackage ./formal-topology.nix {};
   GeoCoq = callPackage ./GeoCoq.nix {};
   HoTT = callPackage ./HoTT.nix {};
   math_classes = callPackage ./math_classes.nix {};
diff --git a/dev/ci/nix/formal-topology.nix b/dev/ci/nix/formal-topology.nix
new file mode 100644
index 0000000000..70ba541577
--- /dev/null
+++ b/dev/ci/nix/formal-topology.nix
@@ -0,0 +1,4 @@
+{ corn }:
+{
+  buildInputs = [ corn ];
+}
-- 
cgit v1.2.3