Without more to go on, I’d agree with Pinus nigra. Perhaps resinosa.Without more diagnostic criteria, you won’t get a definitive answer.
If you return to the area and it doesn’t look too weird, take a twig sample and some close up photos of the buds, needles, and bark. A full tree picture can help too.
That sounds like MugoThe tree was planted when the building was constructed, not a wild tree, tree was short compared to local pines with some zig zagging to trunk n branches unlike my local pines with straight tall trunks and branches, wish I would have took photos