(library
 (name conf)
 (modules :standard \ configure)
 (libraries unix str)
 (foreign_stubs
  (language c)
  (names rocq_configure)
  (flags :standard)))

(executable
 (name configure)
 (modules configure)
 (libraries conf))
