Skip to content

Instantly share code, notes, and snippets.

@toots

toots/dune

Created December 1, 2019 16:51
Show Gist options
  • Save toots/47447eec663fca3345f331c6e533f79f to your computer and use it in GitHub Desktop.
Save toots/47447eec663fca3345f331c6e533f79f to your computer and use it in GitHub Desktop.
Download ZIP
Raw
dune
(rule
(targets sys_socket_generated_stubs.ml)
(deps (:gen ./generator/gen_stubs.exe))
(action (run %{gen} ml %{targets})))
(rule
(targets sys_socket_generated_stubs.c)
(deps (:gen ./generator/gen_stubs.exe))
(action (run %{gen} c %{targets})))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment