overrides: Replace openmpi with mpi

This commit is contained in:
adisbladis 2021-02-02 15:13:31 +01:00
parent 095793f14f
commit 267e417af0
No known key found for this signature in database
GPG key ID: 110BFAD44C6249B7

View file

@ -257,7 +257,7 @@ self: super:
horovod = super.horovod.overridePythonAttrs ( horovod = super.horovod.overridePythonAttrs (
old: { old: {
propagatedBuildInputs = old.propagatedBuildInputs ++ [ pkgs.openmpi ]; propagatedBuildInputs = old.propagatedBuildInputs ++ [ pkgs.mpi ];
} }
); );
@ -540,14 +540,14 @@ self: super:
{ } { }
{ {
mpi = { mpi = {
mpicc = "${pkgs.openmpi.outPath}/bin/mpicc"; mpicc = "${pkgs.mpi.outPath}/bin/mpicc";
}; };
} }
); );
}; };
in in
{ {
propagatedBuildInputs = old.propagatedBuildInputs ++ [ pkgs.openmpi ]; propagatedBuildInputs = old.propagatedBuildInputs ++ [ pkgs.mpi ];
enableParallelBuilding = true; enableParallelBuilding = true;
preBuild = '' preBuild = ''
ln -sf ${cfg} mpi.cfg ln -sf ${cfg} mpi.cfg