diff options
| author | Vincent Laporte | 2019-02-04 14:10:34 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2019-02-05 15:54:50 +0000 |
| commit | 2d3b3412cc29c21e7e3d1d1824f317ed14313992 (patch) | |
| tree | 7a4d74f7230222c5b2ad6a9623e80abaaec57f5c /dev | |
| parent | cb89f2f623e28ac6c23330cb1b37622f93780088 (diff) | |
[Nix-CI] Add Iris
Diffstat (limited to 'dev')
| -rw-r--r-- | dev/ci/nix/default.nix | 7 | ||||
| -rw-r--r-- | dev/ci/nix/iris.nix | 4 |
2 files changed, 10 insertions, 1 deletions
diff --git a/dev/ci/nix/default.nix b/dev/ci/nix/default.nix index 277e9ee08f..fe606568aa 100644 --- a/dev/ci/nix/default.nix +++ b/dev/ci/nix/default.nix @@ -39,11 +39,15 @@ let corn = (coqPackages.corn.override { inherit coq bignums math-classes; }) src = fetchTarball "https://github.com/coq-community/corn/archive/master.tar.gz"; }); in +let stdpp = coqPackages.stdpp.overrideAttrs (o: { + src = fetchTarball "https://gitlab.mpi-sws.org/iris/stdpp/-/archive/master/stdpp-master.tar.bz2"; + }); in + let unicoq = callPackage ./unicoq { inherit coq; }; in let callPackage = newScope { inherit coq bignums coq-ext-lib coqprime corn math-classes - mathcomp simple-io ssreflect unicoq; + mathcomp simple-io ssreflect stdpp unicoq; }; in # Environments for building CI libraries with this Coq @@ -62,6 +66,7 @@ let projects = { formal-topology = callPackage ./formal-topology.nix {}; GeoCoq = callPackage ./GeoCoq.nix {}; HoTT = callPackage ./HoTT.nix {}; + iris = callPackage ./iris.nix {}; math_classes = callPackage ./math_classes.nix {}; mathcomp = {}; mtac2 = callPackage ./mtac2.nix {}; diff --git a/dev/ci/nix/iris.nix b/dev/ci/nix/iris.nix new file mode 100644 index 0000000000..b55cccc7c6 --- /dev/null +++ b/dev/ci/nix/iris.nix @@ -0,0 +1,4 @@ +{ stdpp }: +{ + coqBuildInputs = [ stdpp ]; +} |