diff options
| author | Vincent Laporte | 2019-02-04 15:14:25 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2019-02-05 15:54:50 +0000 |
| commit | 4869260a47ea9d28174ed61e05bec7907dbaa0bb (patch) | |
| tree | 5f7602e77e17ee8dc95710cba5bb348804f33d06 /dev/ci/nix | |
| parent | 2d3b3412cc29c21e7e3d1d1824f317ed14313992 (diff) | |
[Nix-CI] Add lambda-rust
Diffstat (limited to 'dev/ci/nix')
| -rw-r--r-- | dev/ci/nix/default.nix | 9 | ||||
| -rw-r--r-- | dev/ci/nix/lambda-rust.nix | 4 |
2 files changed, 12 insertions, 1 deletions
diff --git a/dev/ci/nix/default.nix b/dev/ci/nix/default.nix index fe606568aa..94e0a666e2 100644 --- a/dev/ci/nix/default.nix +++ b/dev/ci/nix/default.nix @@ -43,10 +43,16 @@ let stdpp = coqPackages.stdpp.overrideAttrs (o: { src = fetchTarball "https://gitlab.mpi-sws.org/iris/stdpp/-/archive/master/stdpp-master.tar.bz2"; }); in +let iris = (coqPackages.iris.override { inherit coq stdpp; }) + .overrideAttrs (o: { + src = fetchTarball "https://gitlab.mpi-sws.org/iris/iris/-/archive/master/iris-master.tar.bz2"; + propagatedBuildInputs = [ stdpp ]; + }); in + let unicoq = callPackage ./unicoq { inherit coq; }; in let callPackage = newScope { inherit coq - bignums coq-ext-lib coqprime corn math-classes + bignums coq-ext-lib coqprime corn iris math-classes mathcomp simple-io ssreflect stdpp unicoq; }; in @@ -67,6 +73,7 @@ let projects = { GeoCoq = callPackage ./GeoCoq.nix {}; HoTT = callPackage ./HoTT.nix {}; iris = callPackage ./iris.nix {}; + lambda-rust = callPackage ./lambda-rust.nix {}; math_classes = callPackage ./math_classes.nix {}; mathcomp = {}; mtac2 = callPackage ./mtac2.nix {}; diff --git a/dev/ci/nix/lambda-rust.nix b/dev/ci/nix/lambda-rust.nix new file mode 100644 index 0000000000..0d07c3028a --- /dev/null +++ b/dev/ci/nix/lambda-rust.nix @@ -0,0 +1,4 @@ +{ iris }: +{ + coqBuildInputs = [ iris ]; +} |