Building an explicit de Sitter