diff options
| author | Vincent Laporte | 2018-11-29 17:01:47 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2019-01-24 14:53:03 +0000 |
| commit | bb1ad2a59f0c9c6b62a1c70023a9ee31866b9a01 (patch) | |
| tree | 43b602b7c708bd8e1a04d4fe17753e6ec573fdaa /dev/ci | |
| parent | 19c6007a003f3ec6d2d92b1ca213270ff16b58fb (diff) | |
[Nix-ci] Add formal-topology
Diffstat (limited to 'dev/ci')
| -rw-r--r-- | dev/ci/nix/default.nix | 10 | ||||
| -rw-r--r-- | dev/ci/nix/formal-topology.nix | 4 |
2 files changed, 12 insertions, 2 deletions
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 ]; +} |