From 91f64b75f9f86b90f0bcddce03ae2114b661b044 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= <francois.bobot@cea.fr>
Date: Wed, 18 Dec 2019 10:35:10 +0100
Subject: [PATCH] E-ACSL is now in Frama-C
---
nix/default.nix | 3 ---
1 file changed, 3 deletions(-)
diff --git a/nix/default.nix b/nix/default.nix
index c8b5bf1155b..f2c09d1e78b 100644
--- a/nix/default.nix
+++ b/nix/default.nix
@@ -192,7 +192,6 @@ rec {
caveat_importer_src = plugins.caveat-importer.src;
acsl_importer_src = plugins.acsl-importer.src;
volatile_src = plugins.volatile.src;
- e_acsl_src = plugins.e-acsl.src;
security_src = plugins.security.src;
context_from_precondition_src = plugins.context-from-precondition.src;
postPatch = ''
@@ -213,8 +212,6 @@ rec {
chmod -R u+w -- "$sourceRoot/src/plugins/volatile"
cp -r --preserve=mode "$acsl_importer_src" "$sourceRoot/src/plugins/acsl-importer"
chmod -R u+w -- "$sourceRoot/src/plugins/acsl-importer"
- cp -r --preserve=mode "$e_acsl_src" "$sourceRoot/src/plugins/e-acsl"
- chmod -R u+w -- "$sourceRoot/src/plugins/e-acsl"
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"
--
GitLab