From 14df2252240434952ea4f681c8037977dcffdbfe Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Tue, 23 Apr 2019 10:08:57 +0200
Subject: [PATCH] [wp/why3] add OPAM deptopt on why3-coq
---
opam/opam | 1 +
1 file changed, 1 insertion(+)
diff --git a/opam/opam b/opam/opam
index 6b874e248e2..16ea05f0d3e 100644
--- a/opam/opam
+++ b/opam/opam
@@ -100,6 +100,7 @@ depends: [
depopts: [
"coq" { build }
"why3" { build }
+ "why3-coq" { build }
"mlgmpidl" { build }
"apron" { build }
]
--
GitLab