The cosmological constant in supergravity