From 9edc9f69e372eb8eacb47b7886f97533433a2053 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.oliveiramaroneze@cea.fr>
Date: Thu, 13 Jun 2019 08:56:42 +0200
Subject: [PATCH] [opam] force Frama-C recompilation when Coq changes
---
opam/opam | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/opam/opam b/opam/opam
index 7b2c44a9fa9..5f39c63fc90 100644
--- a/opam/opam
+++ b/opam/opam
@@ -100,7 +100,7 @@ depends: [
]
depopts: [
- "coq" { build }
+ "coq" # cannot use {build}: Frama-C must be recompiled when Coq changes
"why3" { build }
"why3-coq" { build }
"mlgmpidl" { build }
--
GitLab