We introduce a framework of matching with flexible allotments that can be used to model firms with cross-division hiring restrictions. Our framework also allows us to nest some prior models of matching with distributional constraints. Building upon our recent work on observable substitutability, we show that multi-division choice functions with flexible allotments enable stable and strategy-proof matching; these results illustrate the value of clearly mapping when stable and strategy-proof matching is possible.