  We study the melting of the pancake vortex lattice in a layered
superconductor in the limit of vanishing Josephson coupling. Our approach
combines the methodology of a recently proposed mean-field substrate model for
such systems with the classical density functional theory of freezing. We
derive a free-energy functional in terms of a scalar order-parameter profile
and use it to derive a simple formula describing the temperature dependence of
the melting field. Our theoretical predictions are in good agreement with
simulation data. The theoretical framework proposed is thermodynamically
consistent and thus capable of describing the negative magnetization jump
obtained in experiments. Such consistency is demonstrated by showing the
equivalence of our expression for the density discontinuity at the transition
with the corresponding Clausius-Clapeyron relation.
