trying to fix bench plafrim and guix recipe: put mkl in the adhoc packages

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-$$
+rm -rf /tmp/guix-$$
\ No newline at end of file