diff options
| author | Vincent Laporte <vbgl@users.noreply.github.com> | 2018-05-22 19:26:32 +0200 |
|---|---|---|
| committer | xeji <36407913+xeji@users.noreply.github.com> | 2018-05-22 19:26:32 +0200 |
| commit | 571a1e19e929d72bad5e99f3992728e4a16ca17b (patch) | |
| tree | 4571e52226e18bba46f0f42e789680f49171a479 /pkgs/development/coq-modules | |
| parent | 11b343534578626d1354af507fcfb3572e3aaabe (diff) | |
| download | nixpkgs-571a1e19e929d72bad5e99f3992728e4a16ca17b.tar nixpkgs-571a1e19e929d72bad5e99f3992728e4a16ca17b.tar.gz nixpkgs-571a1e19e929d72bad5e99f3992728e4a16ca17b.tar.bz2 nixpkgs-571a1e19e929d72bad5e99f3992728e4a16ca17b.tar.lz nixpkgs-571a1e19e929d72bad5e99f3992728e4a16ca17b.tar.xz nixpkgs-571a1e19e929d72bad5e99f3992728e4a16ca17b.tar.zst nixpkgs-571a1e19e929d72bad5e99f3992728e4a16ca17b.zip | |
coqPackages.iris: init at 3.1.0 (#40909)
Diffstat (limited to 'pkgs/development/coq-modules')
| -rw-r--r-- | pkgs/development/coq-modules/iris/default.nix | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/pkgs/development/coq-modules/iris/default.nix b/pkgs/development/coq-modules/iris/default.nix new file mode 100644 index 00000000000..134ea45493d --- /dev/null +++ b/pkgs/development/coq-modules/iris/default.nix @@ -0,0 +1,30 @@ +{ stdenv, fetchzip, coq, ssreflect, stdpp }: + +stdenv.mkDerivation rec { + version = "3.1.0"; + name = "coq${coq.coq-version}-iris-${version}"; + src = fetchzip { + url = "https://gitlab.mpi-sws.org/FP/iris-coq/-/archive/iris-${version}/iris-coq-iris-${version}.tar.gz"; + sha256 = "0ipdb061jj205avxifshxkpyxxqykigmlxk2n5nvxj62gs3rl5j1"; + }; + + buildInputs = [ coq ]; + propagatedBuildInputs = [ ssreflect stdpp ]; + + enableParallelBuilding = true; + + installFlags = [ "COQLIB=$(out)/lib/coq/${coq.coq-version}/" ]; + + meta = { + homepage = "https://gitlab.mpi-sws.org/FP/iris-coq"; + description = "The Coq development of the Iris Project"; + inherit (coq.meta) platforms; + license = stdenv.lib.licenses.bsd3; + maintainers = [ stdenv.lib.maintainers.vbgl ]; + }; + + passthru = { + compatibleCoqVersions = v: stdenv.lib.versionAtLeast v "8.6"; + }; + +} |