saiph: allow custom gitCommit

This commit is contained in:
Rodrigo Arias 2021-02-23 11:51:07 +01:00
parent a4b2dfddb4
commit 99f3326609

View File

@ -7,6 +7,7 @@
, vtk , vtk
, boost , boost
, gitBranch ? "master" , gitBranch ? "master"
, gitCommit ? null
, numComm ? null , numComm ? null
, nbx ? null , nbx ? null
, nby ? null , nby ? null
@ -20,10 +21,13 @@ with stdenv.lib;
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "saiph"; name = "saiph";
src = builtins.fetchGit { inherit gitBranch gitCommit;
src = builtins.fetchGit ({
url = "ssh://git@bscpm03.bsc.es/DSLs/saiph.git"; url = "ssh://git@bscpm03.bsc.es/DSLs/saiph.git";
ref = "${gitBranch}"; ref = "${gitBranch}";
}; } // (if (gitCommit != null) then {
rev = gitCommit;
} else {}));
programPath = "/bin/Heat3D_vect"; programPath = "/bin/Heat3D_vect";