mirror of
https://github.com/c-cube/moonpool.git
synced 2025-12-10 13:14:05 -05:00
19 lines
418 B
Text
19 lines
418 B
Text
(library
|
|
(public_name moonpool)
|
|
(name moonpool)
|
|
(libraries
|
|
moonpool.private
|
|
(re_export thread-local-storage)
|
|
(select
|
|
hmap_ls_.ml
|
|
from
|
|
(hmap -> hmap_ls_.real.ml)
|
|
(-> hmap_ls_.dummy.ml))
|
|
moonpool.dpool
|
|
(re_export exn_bt)
|
|
(re_export picos))
|
|
(flags :standard -open Moonpool_private)
|
|
(private_modules util_pool_)
|
|
(preprocess
|
|
(action
|
|
(run %{project_root}/src/cpp/cpp.exe %{input-file}))))
|