heat: split the git table and use fetchGarlicApp
This commit is contained in:
parent
d2222f6868
commit
53c098d921
@ -9,34 +9,17 @@
|
||||
}:
|
||||
|
||||
let
|
||||
gitTable = {
|
||||
# Auto-generated with garlic-git-table on 2021-03-31
|
||||
"garlic/mpi+send+oss+task" = "947c80070d4c53e441df54b8bfac8928b10c5fb2";
|
||||
"garlic/mpi+send+seq" = "f41e1433808d0cbecd88a869b451c927747e5d42";
|
||||
"garlic/tampi+isend+oss+task" = "b1273f9b4db32ba6e15e3d41343e67407ce2f54f";
|
||||
"garlic/tampi+send+oss+task" = "554bec249f9aa23dd92edcfa2ada1e03e05e121d";
|
||||
gitSource = garlicTools.fetchGarlicApp {
|
||||
appName = "heat";
|
||||
inherit gitCommit gitBranch;
|
||||
gitTable = import ./git-table.nix;
|
||||
};
|
||||
|
||||
# Find the actual commit
|
||||
_gitCommit = garlicTools.findCommit {
|
||||
inherit gitCommit gitTable gitBranch;
|
||||
};
|
||||
_gitBranch = gitBranch;
|
||||
|
||||
in
|
||||
|
||||
stdenv.mkDerivation rec {
|
||||
|
||||
name = "heat";
|
||||
|
||||
src = builtins.fetchGit {
|
||||
url = "ssh://git@bscpm03.bsc.es/garlic/apps/heat.git";
|
||||
ref = _gitBranch;
|
||||
rev = _gitCommit;
|
||||
};
|
||||
|
||||
gitBranch = _gitBranch;
|
||||
gitCommit = _gitCommit;
|
||||
inherit (gitSource) src gitBranch gitCommit;
|
||||
|
||||
patches = [ ./print-times.patch ];
|
||||
|
||||
@ -51,5 +34,4 @@ in
|
||||
mkdir -p $out/etc
|
||||
cp heat.conf $out/etc/
|
||||
'';
|
||||
|
||||
}
|
||||
|
9
garlic/apps/heat/git-table.nix
Normal file
9
garlic/apps/heat/git-table.nix
Normal file
@ -0,0 +1,9 @@
|
||||
{
|
||||
# Auto-generated with garlic-git-table on 2021-04-01 for repo:
|
||||
# ssh://git@bscpm03.bsc.es/garlic/apps/heat.git
|
||||
|
||||
"garlic/mpi+send+oss+task" = "947c80070d4c53e441df54b8bfac8928b10c5fb2";
|
||||
"garlic/mpi+send+seq" = "f41e1433808d0cbecd88a869b451c927747e5d42";
|
||||
"garlic/tampi+isend+oss+task" = "b1273f9b4db32ba6e15e3d41343e67407ce2f54f";
|
||||
"garlic/tampi+send+oss+task" = "554bec249f9aa23dd92edcfa2ada1e03e05e121d";
|
||||
}
|
Loading…
Reference in New Issue
Block a user