diff --git a/.gitlab/Dockerfile b/.gitlab/Dockerfile index 6f44c0c78b32dd17f657f1db164a490cd72ac25d..f1a8e0936882092be22a5a7901a18b68608d079a 100644 --- a/.gitlab/Dockerfile +++ b/.gitlab/Dockerfile @@ -8,7 +8,7 @@ RUN apt-get -y upgrade --no-install-recommends \ # linux base packages bash ca-certificates cpio sudo vim wget \ # dev tools - bison flex git pkg-config python-is-python3 \ + bison cppcheck flex git pkg-config python-is-python3 \ # C/Fortran compiling tools build-essential cmake cmake-data cmake-curses-gui gfortran @@ -30,7 +30,8 @@ RUN apt-get -y upgrade --no-install-recommends \ libsimgrid-dev \ libstarpu-dev \ libsuitesparse-dev \ - petsc-dev + petsc-dev \ + slepc-dev RUN apt-get autoremove -y RUN apt-get autoclean -y