From d9eee6eb50e1c28d86e393496a1e42d045a43eb7 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Thu, 1 Jun 2023 22:34:14 -0400 Subject: [PATCH] details --- Makefile | 3 +++ dune-project | 1 + src/pool.mli | 1 + 3 files changed, 5 insertions(+) diff --git a/Makefile b/Makefile index a6550ad0..4a3f798d 100644 --- a/Makefile +++ b/Makefile @@ -9,6 +9,9 @@ clean: test: @dune runtest $(DUNE_OPTS) +doc: + @dune build $(DUNE_OPTS) @doc + WATCH?=@all watch: dune build $(DUNE_OPTS) -w $(WATCH) diff --git a/dune-project b/dune-project index 1be733f3..65425345 100644 --- a/dune-project +++ b/dune-project @@ -24,6 +24,7 @@ (ocaml (>= 4.08)) dune either + (odoc :with-doc) (mdx (and (>= 1.9.0) diff --git a/src/pool.mli b/src/pool.mli index aa9b361c..0d6b28df 100644 --- a/src/pool.mli +++ b/src/pool.mli @@ -1,6 +1,7 @@ (** Thread pool *) type t +(** A pool of threads. *) type thread_loop_wrapper = thread:Thread.t -> pool:t -> (unit -> unit) -> unit -> unit