diff --git a/opam b/opam
index 81efb7fcefdbe936e9695a78ba243b347da10c5d..897e3798e4fbd48523fa34f1f1c1d563617c9f6c 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" ]