  We construct AdS$_4$ flux vacua of type IIA string theory in the supergravity
(large volume, small $g_s$) regime, including the backreaction of O6-planes.
Our solutions are the localized versions of the smeared solutions on Calabi-Yau
orientifolds studied by DeWolfe, Giryavets, Kachru and Taylor and in other
works. We find that the O-plane backreaction in these solutions generates
warping, a varying dilaton, non-closed RR field strengths and internal
curvature. Just like their smeared counterparts, the localized solutions admit
stabilized moduli, a parametric control over string corrections and a
parametric separation between the AdS and KK scales. Our explicit expressions
furthermore make precise the common lore that smeared solutions should
approximate the exact ones in the large-volume, small-$g_s$ limit. Finally, our
solutions appear to violate a recent swampland conjecture about an absence of
scale separation in supersymmetric AdS vacua. We make a simple observation
explaining why this happens in these solutions in contrast to most other AdS
solutions in string theory.
