driver.mld: Benchmark building 'core'

Julow · jonludlam · commit 036ba735882d · 2023-11-07T10:54:13.000Z
Currently, the benchmarks are running the driver with no extra work.
diff --git 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
@@ -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
@@ -0,0 +1 @@
+{0 core}
diff --git a/odoc-bench.opam b/odoc-bench.opam
@@ -41,4 +41,5 @@ depends: [
   "bos"
   "yojson" {>= "1.6.0"}
   "mdx" {>= "2.3.0"}
+  "core"
 ]
