mirror of
https://github.com/c-cube/moonpool.git
synced 2025-12-06 03:05:30 -05:00
details
This commit is contained in:
parent
e1105f4a88
commit
a0068b09b3
3 changed files with 6 additions and 4 deletions
|
|
@ -3,12 +3,12 @@
|
|||
(name moonpool)
|
||||
(libraries
|
||||
moonpool.private
|
||||
thread-local-storage
|
||||
(re_export thread-local-storage)
|
||||
moonpool.dpool
|
||||
picos.exn_bt
|
||||
picos)
|
||||
(re_export picos.exn_bt)
|
||||
(re_export picos))
|
||||
(flags :standard -open Moonpool_private)
|
||||
(private_modules types_ util_pool_)
|
||||
(private_modules util_pool_)
|
||||
(preprocess
|
||||
(action
|
||||
(run %{project_root}/src/cpp/cpp.exe %{input-file}))))
|
||||
|
|
|
|||
|
|
@ -39,6 +39,7 @@ module Private = struct
|
|||
module Worker_loop_ = Worker_loop_
|
||||
module Domain_ = Domain_
|
||||
module Tracing_ = Tracing_
|
||||
module Types_ = Types_
|
||||
|
||||
let num_domains = Domain_pool_.max_number_of_domains
|
||||
end
|
||||
|
|
|
|||
|
|
@ -221,6 +221,7 @@ module Private : sig
|
|||
(** Utils for domains *)
|
||||
|
||||
module Tracing_ = Tracing_
|
||||
module Types_ = Types_
|
||||
|
||||
val num_domains : unit -> int
|
||||
(** Number of domains in the backing domain pool *)
|
||||
|
|
|
|||
Loading…
Add table
Reference in a new issue