Hans/haga
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix5

Browse Source
This commit is contained in:
Johannes Merl 2024-05-09 13:11:49 +02:00
parent ddbd2e67f2
commit a4cdfd032f
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
run.sbatch
View File

@ -13,7 +13,7 @@ current_problem=${problems[(${SLURM_ARRAY_TASK_ID}/270)]}
current_variant=$(((${SLURM_ARRAY_TASK_ID} / 30) % 9 + 1))
current_branch="${current_problem}_${current_variant}"
git clone -b $current_branch --single-branch "https://merl.dnshome.de/git/Hans/haga.git" ../../oc-compute02/merljoha/$current_branch
git clone -b $current_branch --single-branch "https://merl.dnshome.de/git/Hans/haga.git" ../../oc-compute03/merljoha/$current_branch
git clone -b $current_branch --single-branch "https://merl.dnshome.de/git/Hans/haga.git" ../../../oc-compute02/merljoha/$current_branch
git clone -b $current_branch --single-branch "https://merl.dnshome.de/git/Hans/haga.git" ../../../oc-compute03/merljoha/$current_branch
srun bash -c "cd /data/$SLURMD_NODENAME/merljoha/$current_branch; nix develop --command stack --no-nix --system-ghc --no-install-ghc run haga-lambda"