(library (name linux_ext) (public_name core.linux_ext)
 (libraries core_kernel.bounded_int_table core) (c_names linux_ext_stubs)
 (preprocessor_deps config.h) (preprocess (pps ppx_jane)))

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