From 711bb913ca71db3719b321f4c9332f9e9b391a47 Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Tue, 4 Aug 2020 11:56:04 +0200
Subject: [PATCH] CI file updates for frama-clang.
---
.gitlab-ci.yml | 7 +++++++
nix/default.nix | 3 +++
2 files changed, 10 insertions(+)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 3394befbc70..87d65d5591a 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 b7804254b58..889db9e1432 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"
--
GitLab