forked from mirrors/nixpkgs
compcert: fix breakage on linux after f130ecd
This commit is contained in:
parent
2244b1815d
commit
5215ed6b21
|
@ -5221,13 +5221,9 @@ with pkgs;
|
||||||
|
|
||||||
cmucl_binary = callPackage_i686 ../development/compilers/cmucl/binary.nix { };
|
cmucl_binary = callPackage_i686 ../development/compilers/cmucl/binary.nix { };
|
||||||
|
|
||||||
compcert = callPackage ../development/compilers/compcert ((
|
compcert = callPackage ../development/compilers/compcert {
|
||||||
if system == "x86_64-linux"
|
|
||||||
then { tools = pkgsi686Linux.stdenv.cc; }
|
|
||||||
else {}
|
|
||||||
) // {
|
|
||||||
coq = coq_8_6;
|
coq = coq_8_6;
|
||||||
});
|
};
|
||||||
|
|
||||||
|
|
||||||
# Users installing via `nix-env` will likely be using the REPL,
|
# Users installing via `nix-env` will likely be using the REPL,
|
||||||
|
|
Loading…
Reference in a new issue