From c0c0e17ef3225e686c3ff6411ccce347862e42ac Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= <francois.bobot@cea.fr>
Date: Tue, 25 Aug 2020 09:26:19 +0200
Subject: [PATCH] [CI] Fix internal
---
nix/default.nix | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/nix/default.nix b/nix/default.nix
index 9081d2e83f5..fdce398cfe5 100644
--- a/nix/default.nix
+++ b/nix/default.nix
@@ -218,7 +218,7 @@ rec {
];
counter_examples_src = plugins.counter-examples.src;
genassigns_src = plugins.genassigns.src;
- frama-clang_src = plugins.frama-clang.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;
@@ -234,7 +234,7 @@ 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"
+ 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"
--
GitLab