(executable
 (name coq_config_to_make)
 (libraries coq-core.config))
