top-level cmake file