From 483e620d88b944009e323fc5c65831e95569ec86 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@cea.fr>
Date: Fri, 8 Jul 2022 09:14:45 +0000
Subject: [PATCH] [opam] backport missing dependency

as mentioned by kit-ty-kate on github, if we are to launch autoonf, we should depend on conf-autoconf
---
 opam | 1 +
 1 file changed, 1 insertion(+)

diff --git a/opam b/opam
index 81efb7f..897e379 100644
--- a/opam
+++ b/opam
@@ -38,6 +38,7 @@ depends: [
   "ocaml" { >= "4.08.1" }
   "frama-c" { >= "25.0" & < "26.0" }
   "why3" { >= "1.5.0" }
+  "conf-autoconf" {dev}
 ]
 
 depopts: [ "conf-swi-prolog" ]
-- 
GitLab