diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 3394befbc709bec2d77dbc1603508d8c0e8f786e..87d65d5591a26341fecf9f5c8e2e77512a365b82 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -64,6 +64,13 @@ genassigns:
   tags:
    - nix
 
+frama-clang:
+  stage: tests
+  script:
+   - nix/frama-ci.sh build -A frama-clang.tests
+  tags:
+   - nix
+
 counter-examples:
   stage: tests
   script:
diff --git a/nix/default.nix b/nix/default.nix
index b7804254b581310c919738b827b0dd22a9aa0ba7..889db9e1432856b4a338ca0f8cf396f8a62d162e 100644
--- a/nix/default.nix
+++ b/nix/default.nix
@@ -218,6 +218,7 @@ rec {
         ];
         counter_examples_src = plugins.counter-examples.src;
         genassigns_src = plugins.genassigns.src;
+        frama-clang_src = plugins.frama-clang.src;
         pathcrawler_src = plugins.pathcrawler.src;
         mthread_src = plugins.mthread.src;
         caveat_importer_src = plugins.caveat-importer.src;
@@ -233,6 +234,8 @@ 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"
+           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"
            cp -r --preserve=mode "$mthread_src" "$sourceRoot/src/plugins/mthread"