From 88f9be73fa7f9df87298f0cfa9adfd094eb6f891 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= <francois.bobot@cea.fr>
Date: Wed, 19 Jun 2019 13:31:22 +0200
Subject: [PATCH] Force Frama-C recompilation when libraries changes
because we use dynamic linking
---
opam/opam | 13 ++++++++-----
1 file changed, 8 insertions(+), 5 deletions(-)
diff --git a/opam/opam b/opam/opam
index 5f39c63fc90..84d54529a59 100644
--- a/opam/opam
+++ b/opam/opam
@@ -100,11 +100,14 @@ depends: [
]
depopts: [
- "coq" # cannot use {build}: Frama-C must be recompiled when Coq changes
- "why3" { build }
- "why3-coq" { build }
- "mlgmpidl" { build }
- "apron" { build }
+ # cannot use {build}: Frama-C must be recompiled when Coq and libraries changes.
+ # Coq: because .vo would would not be loadable by another version of Coq
+ # libraries: because we use dynamic linking
+ "coq"
+ "why3"
+ "why3-coq"
+ "mlgmpidl"
+ "apron"
]
conflicts: [
--
GitLab