From 6ad559c6ee72ad71e30bd6df615f0d6570522c92 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Fri, 3 Jun 2022 10:09:16 +0200
Subject: [PATCH] [ci] add linea-cabs
---
.gitlab-ci.yml | 7 +++++++
nix/default.nix | 3 +++
2 files changed, 10 insertions(+)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 8968f1d721d..d1b49643d0b 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -119,6 +119,13 @@ CFP:
tags:
- nix
+Linea-Cabs:
+ stage: tests
+ script:
+ - nix/frama-ci.sh build -A linea-cabs.tests
+ tags:
+ - nix
+
eva-tests:
stage: tests
script:
diff --git a/nix/default.nix b/nix/default.nix
index d9f8349f5d7..6c86751e7be 100644
--- a/nix/default.nix
+++ b/nix/default.nix
@@ -329,6 +329,7 @@ pkgs.lib.makeExtensible
security_src = plugins.security.src;
context_from_precondition_src = plugins.context-from-precondition.src;
metacsl_src = plugins.meta.src;
+ linea_cabs_src = plugins.linea-cabs.src;
postPatch = ''
patchShebangs .
'';
@@ -350,6 +351,8 @@ pkgs.lib.makeExtensible
echo IN_FRAMA_CI=yes > "$sourceRoot/in_frama_ci"
cp -r --preserve=mode "$context_from_precondition_src" "$sourceRoot/src/plugins/context-from-precondition"
chmod -R u+w -- "$sourceRoot/src/plugins/context-from-precondition"
+ cp -r --preserve=mode "$linea_cabs_src" "$sourceRoot/src/plugins/linea-cabs"
+ chmod -R u+w -- "$sourceRoot/src/plugins/linea-cabs"
cp -r --preserve=mode "$security_src" "$sourceRoot/src/plugins/security"
chmod -R u+w -- "$sourceRoot/src/plugins/security"
'';
--
GitLab