From 036ba735882d0caa6b541ed00fc3e722d61978d4 Mon Sep 17 00:00:00 2001 From: Jules Aguillon Date: Thu, 26 Oct 2023 15:05:58 +0200 Subject: [PATCH] driver.mld: Benchmark building 'core' Currently, the benchmarks are running the driver with no extra work. --- Makefile | 4 +++- doc/driver.mld | 1 + doc/library_mlds/core.mld | 1 + odoc-bench.opam | 1 + 4 files changed, 6 insertions(+), 1 deletion(-) create mode 100644 doc/library_mlds/core.mld diff --git a/Makefile b/Makefile index 53447dc270..e8148d7d17 100644 --- a/Makefile +++ b/Makefile @@ -13,9 +13,11 @@ publish-docs: test : dune runtest +# ODOC_BENCHMARK=true will cause the driver to build a larger set of libraries +# containing more edge cases. .PHONY : bench bench: - @dune build @bench + @ODOC_BENCHMARK=true dune build @bench .PHONY : coverage coverage : diff --git a/doc/driver.mld b/doc/driver.mld index aa44fedf99..91fd7513f7 100644 --- a/doc/driver.mld +++ b/doc/driver.mld @@ -323,6 +323,7 @@ let extra_deps = [ "base_quickcheck"; "ppx_sexp_conv"; "ppx_hash"; + "core"; ] let dep_libraries = diff --git a/doc/library_mlds/core.mld b/doc/library_mlds/core.mld new file mode 100644 index 0000000000..17c33fa73e --- /dev/null +++ b/doc/library_mlds/core.mld @@ -0,0 +1 @@ +{0 core} diff --git a/odoc-bench.opam b/odoc-bench.opam index be93e104a4..c6b3a08a0f 100644 --- a/odoc-bench.opam +++ b/odoc-bench.opam @@ -41,4 +41,5 @@ depends: [ "bos" "yojson" {>= "1.6.0"} "mdx" {>= "2.3.0"} + "core" ]