Merge branch 'feature/fix_ci2' into 'master'

Fix frama-clang CI

See merge request frama-c/frama-c!2791

.gitlab-ci.yml

@@ -67,7 +67,7 @@ genassigns:
 frama-clang:
   stage: tests
   script:
-   - nix-shell -I nixpkgs=https://github.com/NixOS/nixpkgs/archive/0c0fe6d85b92c4e992e314bd6f9943413af9a309.tar.gz -p nix --run "nix/frama-ci.sh build -A frama-clang.tests"
+   - nix/frama-ci.sh build -A frama-clang.tests
   tags:
    - nix
 

nix/default.nix

@@ -234,7 +234,7 @@ rec {
            chmod -R u+w -- "$sourceRoot/src/plugins/counter-examples"
            cp -r --preserve=mode "$genassigns_src" "$sourceRoot/src/plugins/genassigns"
            chmod -R u+w -- "$sourceRoot/src/plugins/genassigns"
-           cp -r --preserve=mode "frama-clang_src" "$sourceRoot/src/plugins/frama-clang"
+           cp -r --preserve=mode "$frama-clang_src" "$sourceRoot/src/plugins/frama-clang"
            chmod -R u+w -- "$sourceRoot/src/plugins/frama-clang"
            cp -r --preserve=mode "$pathcrawler_src" "$sourceRoot/src/plugins/pathcrawler"
            chmod -R u+w -- "$sourceRoot/src/plugins/pathcrawler"