mirror of
https://github.com/c-cube/moonpool.git
synced 2025-12-06 03:05:30 -05:00
14 lines
476 B
Text
14 lines
476 B
Text
(library
|
|
(public_name moonpool)
|
|
(name moonpool)
|
|
(private_modules d_pool_ dla_)
|
|
(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))))
|