Merge branch 'feature/nix/add_ci_to_metacsl' into 'master'

Update Frama-CI data

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

.gitlab-ci.yml

@@ -92,6 +92,13 @@ volatile:
   tags:
    - nix
 
+metacsl:
+  stage: tests
+  script:
+  - nix/frama-ci.sh build -A meta.tests
+  tags:
+  - nix
+
 Security:
   stage: tests
   script:

nix/default.nix

@@ -214,7 +214,9 @@ rec {
         inherit src;
         buildInputs = (mk_buildInputs { opamPackages = [ "xml-light" ]; } ) ++
                     [ pkgs.getopt
-                      pkgs.libxslt pkgs.libxml2 pkgs.autoPatchelfHook stdenv.cc.cc.lib
+                      pkgs.libxslt pkgs.libxml2 pkgs.autoPatchelfHook
+                      pkgs.swiProlog
+                      stdenv.cc.cc.lib
         ];
         counter_examples_src = plugins.counter-examples.src;
         genassigns_src = plugins.genassigns.src;
@@ -226,6 +228,7 @@ rec {
         volatile_src = plugins.volatile.src;
         security_src = plugins.security.src;
         context_from_precondition_src = plugins.context-from-precondition.src;
+        metacsl_src = plugins.meta.src;
         postPatch = ''
                patchShebangs .
         '';

nix/frama-ci.nix

@@ -5,8 +5,8 @@ let
     src = builtins.fetchGit {
             "url" = "https://bobot:${password}@git.frama-c.com/frama-c/Frama-CI.git";
             "name" = "Frama-CI";
-            "rev" = "abf07b7c0f53b33b32c8b170580e14480fd3aba6";
-            "ref" = "master";
+            "rev" = "58e51d3a0811dc7641781ec9784e4bd52e33a3a5";
+            "ref" = "feature/nix/add_ci_to_metacsl";
     };
  in
  {