  We consider IIA compactifications on solvmanifolds with O6/D6 branes and
study the conditions for obtaining de Sitter vacua in ten dimensions. While
this is a popular set-up for searching de Sitter vacua, we propose a new method
to include supersymmetry breaking sources. For space-time filling branes
preserving bulk supersymmetry, the energy density can easily be extremized with
respect to all fields, thanks to the replacement of the DBI action by a
pullback of a special form given by a pure spinor. For sources breaking bulk
supersymmetry, we propose to replace the DBI action by the pullback of a more
general polyform, which is no longer pure. This generalization provides
corrections to the energy-momentum tensor which give a positive contribution to
the cosmological constant. We find a de Sitter solution to all (bulk and
world-volume) equations derived from this action. We argue it solves the
equations derived from the standard source action. The paper also contains a
review of solvmanifolds.
