diff options
| author | coqbot-app[bot] | 2021-02-11 20:06:44 +0000 |
|---|---|---|
| committer | GitHub | 2021-02-11 20:06:44 +0000 |
| commit | b1532790555b122b5bb3091405595b4b5586483e (patch) | |
| tree | 9f82b5e88db2ea93961fccfcdbcf045f82e88791 | |
| parent | 2384c5c9d67ee4484e91bfe9e8e7a49a5e564d1a (diff) | |
| parent | 44c2f05102533e3656f369f2eed16ad2730ef775 (diff) | |
Merge PR #13640: Add ounit2 to with-test dependencies
Reviewed-by: ejgallego
| -rw-r--r-- | coq.opam | 1 | ||||
| -rw-r--r-- | dune-project | 3 |
2 files changed, 3 insertions, 1 deletions
@@ -24,6 +24,7 @@ depends: [ "dune" {>= "2.5.0"} "ocamlfind" {>= "1.8.1"} "zarith" {>= "1.10"} + "ounit2" {with-test} ] build: [ # Disabled until Dune 2.8 is available diff --git a/dune-project b/dune-project index 4cb9c13bde..03e7147019 100644 --- a/dune-project +++ b/dune-project @@ -27,7 +27,8 @@ (ocaml (>= 4.05.0)) (dune (>= 2.5.0)) (ocamlfind (>= 1.8.1)) - (zarith (>= 1.10))) + (zarith (>= 1.10)) + (ounit2 :with-test)) (synopsis "The Coq Proof Assistant") (description "Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable |