(include_subdirs qualified)

(library
 (name chadprover))