From de95d9fae115f982ed114e6131bb2dd392e3878f Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Fri, 15 Apr 2022 14:22:36 +0200
Subject: [PATCH] [ci] remove counter-example from CI
---
.gitlab-ci.yml | 7 -------
nix/default.nix | 3 ---
2 files changed, 10 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 17df162895d..8968f1d721d 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -84,13 +84,6 @@ frama-clang:
tags:
- nix
-counter-examples:
- stage: tests
- script:
- - nix/frama-ci.sh build -A counter-examples.tests
- tags:
- - nix
-
acsl-importer:
stage: tests
script:
diff --git a/nix/default.nix b/nix/default.nix
index d232bc8126e..0f380373a53 100644
--- a/nix/default.nix
+++ b/nix/default.nix
@@ -318,7 +318,6 @@ pkgs.lib.makeExtensible
[ pkgs.getopt pkgs.libxslt pkgs.libxml2 pkgs.autoPatchelfHook
pkgs.swiProlog stdenv.cc.cc.lib ];
};
- counter_examples_src = plugins.counter-examples.src;
genassigns_src = plugins.genassigns.src;
frama_clang_src = plugins.frama-clang.src;
pathcrawler_src = plugins.pathcrawler.src;
@@ -333,8 +332,6 @@ pkgs.lib.makeExtensible
patchShebangs .
'';
postUnpack = ''
- cp -r --preserve=mode "$counter_examples_src" "$sourceRoot/src/plugins/counter-examples"
- 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"
--
GitLab