rarias/jungle
2
0
Fork 3
Code Issues 60 Pull Requests 8 Actions Packages Projects Releases Wiki Activity

WIP: Remove blobs and split website in another repository #186

Closed
rarias wants to merge 458 commits from remove-website into old-master
pull from: remove-website
merge into: rarias:old-master
Conversation 1 Commits 458 Files Changed 143 +2 -2
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit d9002dd028 - Show all commits

4
pkgs/mpi.nix
View File

@@ -1,7 +1,7 @@
final: prev:
{
bsc = prev.bsc.extend (bsc: {
mpi2 = bsc.mpich;
bsc = prev.bsc.extend (bscFinal: bscPrev: {
mpi2 = bscFinal.mpich;
mpich = with final; prev.mpich.overrideAttrs (old: {
buildInput = old.buildInputs ++ [
libfabric