From 8a4747d5d1824cea184beb5bdb073a0dd5b0095e Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Thu, 10 Jun 2021 13:07:55 -0400 Subject: [PATCH] fix ci for doc gen --- sidekick-arith.opam | 1 + sidekick-bin.opam | 1 + sidekick.opam | 1 + 3 files changed, 3 insertions(+) diff --git a/sidekick-arith.opam b/sidekick-arith.opam index bbaa617a..f3d5cdb6 100644 --- a/sidekick-arith.opam +++ b/sidekick-arith.opam @@ -19,6 +19,7 @@ depends: [ "zarith" { >= "1.8" } # constraint for infix ops "alcotest" {with-test} "qcheck" {with-test & >= "0.16" } + "odoc" {with-doc} ] tags: [ "sat" "smt" ] homepage: "https://github.com/c-cube/sidekick" diff --git a/sidekick-bin.opam b/sidekick-bin.opam index dfdbc952..b5a39839 100644 --- a/sidekick-bin.opam +++ b/sidekick-bin.opam @@ -21,6 +21,7 @@ depends: [ "menhir" "mtime" "ocaml" { >= "4.04" } + "odoc" {with-doc} ] tags: [ "sat" "smt" ] homepage: "https://github.com/c-cube/sidekick" diff --git a/sidekick.opam b/sidekick.opam index b3358ebc..2216081c 100644 --- a/sidekick.opam +++ b/sidekick.opam @@ -17,6 +17,7 @@ depends: [ "msat" { >= "0.9" < "0.10" } "ocaml" { >= "4.04" } "alcotest" {with-test} + "odoc" {with-doc} ] depopts: [ "mtime" # for profiling stuff