  We establish the precise correspondence between Type-IIA flux
compactifications preserving an exact or spontaneously broken N=4 supersymmetry
in four dimensions, and gaugings of their effective N=4 supergravities. We
exhibit the explicit map between fluxes and Bianchi identities in the
higher-dimensional theory and generalized structure constants and Jacobi
identities in the reduced theory, also detailing the origin of gauge groups
embedded at angles in the duality group. We present AdS4 solutions of the
massive Type-IIA theory with spontaneous breaking to N=1, at small string
coupling and large volume, and discuss their dual CFT3.
