BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

compcert: use Coq 8.10

Browse source
This commit is contained in:
Vincent Laporte 2020-08-16 08:24:27 +02:00 committed by Vincent Laporte
parent 1875d9bfd5
commit 36cff634d1
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
pkgs/top-level/all-packages.nix
View file

@ -8430,7 +8430,9 @@ in
cmucl_binary = pkgsi686Linux.callPackage ../development/compilers/cmucl/binary.nix { };
compcert = callPackage ../development/compilers/compcert { };
compcert = callPackage ../development/compilers/compcert {
inherit (coqPackages_8_10) coq;
};
computecpp-unwrapped = callPackage ../development/compilers/computecpp {};
computecpp = wrapCCWith rec {