(include_subdirs unqualified)

(library
 (public_name coqup)
 (libraries compcert)
 (flags (:standard -warn-error -A)))