Merge pull request #147984 from r-burns/forge

forge: fix build
This commit is contained in:
Ryan Burns 2021-12-30 15:07:14 -08:00 committed by GitHub
commit 4d54eede66
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -16339,7 +16339,9 @@ with pkgs;
fflas-ffpack = callPackage ../development/libraries/fflas-ffpack { };
forge = callPackage ../development/libraries/forge { };
forge = callPackage ../development/libraries/forge {
cudatoolkit = buildPackages.cudatoolkit_11;
};
linbox = callPackage ../development/libraries/linbox { };