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

[Alexander Churanov]

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'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