  The requirement of ${\cal N}=1$ supersymmetry for M-theory backgrounds of the
form of a warped product ${\cal M}\times_{w}X$, where $X$ is an eight-manifold
and ${\cal M}$ is three-dimensional Minkowski or AdS space, implies the
existence of a nowhere-vanishing Majorana spinor $\xi$ on $X$. $\xi$ lifts to a
nowhere-vanishing spinor on the auxiliary nine-manifold $Y:=X\times S^1$, where
$S^1$ is a circle of constant radius, implying the reduction of the structure
group of $Y$ to $Spin(7)$. In general, however, there is no reduction of the
structure group of $X$ itself. This situation can be described in the language
of generalized $Spin(7)$ structures, defined in terms of certain spinors of
$Spin(TY\oplus T^*Y)$. We express the condition for ${\cal N}=1$ supersymmetry
in terms of differential equations for these spinors. In an equivalent
formulation, working locally in the vicinity of any point in $X$ in terms of a
`preferred' $Spin(7)$ structure, we show that the requirement of ${\cal N}=1$
supersymmetry amounts to solving for the intrinsic torsion and all irreducible
flux components, except for the one lying in the $\bf{27}$ of $Spin(7)$, in
terms of the warp factor and a one-form $L$ on $X$ (not necessarily
nowhere-vanishing) constructed as a $\xi$ bilinear; in addition, $L$ is
constrained to satisfy a pair of differential equations. The formalism based on
the group $Spin(7)$ is the most suitable language in which to describe
supersymmetric compactifications on eight-manifolds of $Spin(7)$ structure,
and/or small-flux perturbations around supersymmetric compactifications on
manifolds of $Spin(7)$ holonomy.
