dining-hall has definitions from the field of housing
1
[ noun ] (housing) a large room at a college or university; used especially for dining
*