(library
  (name ffi)
  (libraries unix))

(coq.theory
  (name FFI))

(rule
  (target Socket.v)
  (action (run coqffi %{cmi:socket} -o %{target})))

(rule
  (target Proc.v)
  (action (run coqffi -ftransparent-types %{cmi:proc} -o %{target})))
