mirror of
https://github.com/c-cube/moonpool.git
synced 2025-12-14 14:56:17 -05:00
25 lines
578 B
Text
25 lines
578 B
Text
(library
|
|
(name moonpool_private)
|
|
(public_name moonpool.private)
|
|
(synopsis "Private internal utils for Moonpool (do not rely on)")
|
|
(preprocess
|
|
(action
|
|
(run %{project_root}/src/cpp/cpp.exe %{input-file})))
|
|
(libraries
|
|
threads
|
|
either
|
|
(select
|
|
thread_local_storage_.ml
|
|
from
|
|
(thread-local-storage -> thread_local_storage_.stub.ml)
|
|
(-> thread_local_storage_.real.ml))
|
|
(select
|
|
dla_.ml
|
|
from
|
|
(domain-local-await -> dla_.real.ml)
|
|
(-> dla_.dummy.ml))
|
|
(select
|
|
tracing_.ml
|
|
from
|
|
(trace.core -> tracing_.real.ml)
|
|
(-> tracing_.dummy.ml))))
|