diff --git a/tools/bench/plafrim/run.sh b/tools/bench/plafrim/run.sh index 9535a48850150001d7cf94e4437cdc1bf0b61bcb..b3ea6b313a3a9eb73eb5fbfdd670026672fade3b 100755 --- a/tools/bench/plafrim/run.sh +++ b/tools/bench/plafrim/run.sh @@ -28,10 +28,10 @@ else fi # define env var and guix rule to use depending on the mpi vendor -GUIX_ENV="chameleon --with-input=openblas=mkl" +GUIX_ENV="chameleon" if [ $NODE = "sirocco" ] then - GUIX_ENV="chameleon-cuda --with-input=openblas=mkl" + GUIX_ENV="chameleon-cuda" fi export MPI_OPTIONS="" if [ $MPI = "openmpi" ] @@ -51,7 +51,7 @@ else echo "$0: Please set the MPI environnement variable to openmpi or nmad." exit -1 fi -GUIX_ADHOC="coreutils gawk grep jube perl python python-click python-certifi python-elasticsearch python-gitpython python-matplotlib python-pandas python-seaborn r-ggplot2 r-plyr r-reshape2 sed slurm@19" +GUIX_ADHOC="coreutils gawk grep jube perl python python-click python-certifi python-elasticsearch python-gitpython python-matplotlib python-pandas python-seaborn r-ggplot2 r-plyr r-reshape2 sed slurm@19 mkl" GUIX_RULE="$GUIX_ENV $GUIX_ENV_MPI --ad-hoc $GUIX_ADHOC $GUIX_ADHOC_MPI" # Submit jobs @@ -73,4 +73,4 @@ exec guix environment --pure \ echo "####################### End Chameleon benchmarks #######################" # clean tmp -rm -rf /tmp/guix-$$ \ No newline at end of file +rm -rf /tmp/guix-$$