Rob Lahaye wrote:
> Once again: removing   -DBOOST_USER_CONFIG="<config.h>"  from the
> compile line above, solves the problem.

> Does that bring us any closer?

Sure. Something in <config.h> is messing up the (quite small) 
<boost/cstdint.hpp>

You should try and isolate the #define that is screwing things up.
As a preliminary guess, looking at the <config.h> you posted, try

#define uintmax_t unsigned long long
#include <boost/cstdint.hpp>
int main () { return 0; }

Compile with a normal
$ gcc -I<path to lyx>/boost -o trial trial.C

Anyway, I'm sure that you get the point and can find the offender
from here.

Regards,
-- 
Angus

Reply via email to