WIP: driver.mld: Benchmark building 'core'

Not building at the moment
Julow · Oct 26, 2023 · 2e06673 · 2e06673
1 parent 63be0f2
commit 2e06673
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 9 deletions.
diff --git a/Makefile b/Makefile
@@ -15,7 +15,7 @@ test :
 
 .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
@@ -300,14 +300,7 @@ let dep_libraries_core = [
 ];;
 
 let extra_deps = [
-    "base";
-    "core_kernel";
-    "bin_prot";
-    "sexplib";
-    "sexplib0";
-    "base_quickcheck";
-    "ppx_sexp_conv";
-    "ppx_hash";
+    "core";
 ]
 
 let dep_libraries =

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"
 ]
-Original file line number
+Diff line change
@@ Expand Up / @@ -41,4 +41,5 @@ depends: [ @@
       "bos"
       "yojson" {>= "1.6.0"}
       "mdx" {>= "2.3.0"}
+      "core"
     ]