[Rivet] what happened to boost?

[Hendrik Hoeth]

Thus spake Andy Buckley (andy.buckley at durham.ac.uk):

> Holger Schulz wrote:
> >
> > Have you removed the boost dependency?
> 
> The Boost dependency is still there... I don't know what could have changed!
> And configure still offers me --with-boost and --with-boost-incpath options.

But Rivet doesn't come with the boost headers anymore. You have to have
boost installed on your system now.

-- 
Those who give up essential liberties for temporary safety
deserve neither liberty nor safety.   -- Benjamin Franklin