STILL OPEN: ports/129226: update devel/boost from 1.34.1 to 1.37

[Jeremy Messenger]

On Sun, 11 Jan 2009 12:38:10 -0600, Alexander Churanov
<alexanderchuranov at gmail.com> wrote:

> 2009/1/11 Pav Lucistnik <pav at freebsd.org>
>
>>
>> That's certainly a possibility -- but can two boost versions coexist in
>> a single system?
>>
> That's a real problem. To my mind there are no problems for shared
> libraries, but for header files the suggested solution would require  
> placing
> headers under /usr/local/include/boost-134/boost and modify all ports'  
> build
> processes to include /usr/local/include/boost-134 in a search path.

I rather to put only a version and fix the rest port. With that  
include/boost-134 hack is going to require hack in every port that depend  
on it.

Cheers,
Mezz

> I'll carry out this experiment.
> Another thing I've heard about port versioning is that Gentoo Linux  
> handles
> different versions of the same port installed on a system. Probably,  
> it's a
> good idea to examine how they do that slotting.
> Sincerely,
> Alexander Churanov


-- 
mezz7 at cox.net  -  mezz at FreeBSD.org
FreeBSD GNOME Team
http://www.FreeBSD.org/gnome/  -  gnome at FreeBSD.org