>>>>> "Peter" == Peter Kümmel <[EMAIL PROTECTED]> writes:
>> We are not supposed to change boost. This will lead to a >> maintenance nightmare (who will remember to redo these changes >> again when we update boost)? Please revert. The real solution for >> this problem is to fix cmake. Or don't concatenate boost, this is >> not needed since boost is not changed very often. Peter> It's no problem when this change gets lost with the next boost Peter> update. But still, fixing cmake is really the best option. JMarc
