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

add build

Browse Source
This commit is contained in:
Johannes Merl 2024-05-09 13:44:23 +02:00
parent 45bceb9deb
commit bb755c5495
1 changed files with 15 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

21
build.sbatch
View File

@ -1,9 +1,18 @@
#!/usr/bin/env bash #!/usr/bin/env bash
#SBATCH --time=00:10:00 #SBATCH --time=00:10:00
#SBATCH --partition=cpu #SBATCH --partition=cpu
#SBATCH --output=./output/output_build.txt #SBATCH --array=0-27
#SBATCH --error=./output/error_build.txt #SBATCH --output=./output/output_run_%a.txt
#SBATCH --nodelist=oc-compute02 #SBATCH --error=./output/error_run_%a.txt
#SBATCH --mem=4G #SBATCH --nodelist=oc-compute02,oc-compute03
#SBATCH -c16 #SBATCH --mem=2G
srun nix develop --command stack --no-nix --system-ghc --no-install-ghc build problems=("iris" "nurse" "german")
current_problem=${problems[(${SLURM_ARRAY_TASK_ID}/9)]}
current_variant=$(((${SLURM_ARRAY_TASK_ID}) % 9 + 1))
current_branch="${current_problem}_${current_variant}"
git clone -b $current_branch --single-branch "https://merl.dnshome.de/git/Hans/haga.git" /data/oc-compute02/merljoha/$current_branch
git clone -b $current_branch --single-branch "https://merl.dnshome.de/git/Hans/haga.git" /data/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 build"