source bashrc on rocky (should probably be /etc/profile)

Author: matekelemen

.github/workflows/ci.yml

@@ -99,7 +99,7 @@ jobs:
           export CC=/usr/bin/clang-14
           export CXX=/usr/bin/clang++-14
           export KRATOS_CMAKE_CXX_FLAGS="-Werror -Wno-deprecated-declarations"
-          export KRATOS_CMAKE_OPTIONS_FLAGS="-DMMG_ROOT=/external_libraries/mmg/mmg_5_5_1/" 
+          export KRATOS_CMAKE_OPTIONS_FLAGS="-DMMG_ROOT=/external_libraries/mmg/mmg_5_5_1/"
         else
           echo 'Unsupported compiler: ${{ matrix.compiler }}'
           exit 1
@@ -326,6 +326,7 @@ jobs:
 
     - name: Build
       run: |
+        if [ -f /etc/bashrc ]; then source /etc/bashrc; fi
         export KRATOS_CMAKE_CXX_FLAGS="-Werror -Wno-deprecated-declarations -Wignored-qualifiers"
         cp .github/workflows/rocky_configure.sh rocky_configure.sh
         bash rocky_configure.sh