(library (name linux_ext) (public_name core_unix.linux_ext)
 (libraries core_kernel.bounded_int_table core core_thread filename_unix
  time_ns_unix)
 (c_names linux_ext_stubs) (preprocessor_deps config.h)
 (preprocess (pps ppx_jane ppx_optcomp)))

(rule (targets config.h) (deps)
 (action (bash "cp %{lib:jst-config:config.h} .")))