(executable
 (name coq_flock)
 (foreign_stubs
  (language c)
  (names flock))
 (libraries unix))
