1 2 3 4 5 6
(include_subdirs unqualified) (library (public_name coqup) (libraries compcert) (flags (:standard -warn-error -A)))