provide a building with a roof; cover a building with a roof