[Rivet] what happened to boost?

[Holger Schulz]

Hendrik Hoeth wrote:
> 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.
>
>   
Ok, but Boost is installed. I wonder why configure is not even checking 
for boost, though
it does for things like gsl, agile and so on.