On Sat, 14 Sep 2013 18:26:53 +0200
Adrien Nader <adrien@notk.org> wrote:

> Hi,
> 
> On Sat, Sep 14, 2013, Philip wrote:
> > Hi list,
> > just pulled ocaml from git and made:
> 
> Did you pull from the trunk branch? If so you didn't get 4.01 but the
> development version which is in a much more incertain state.
> 
> That said, I'm running on trunk plus a few patches and I didn't get an
> error. Can you attach the output of ./configure?
> 
> Thanks,
> Adrien Nader
> 

Yes, of course:
did 'git checkout 4.01.0' and configure <output attached>

Thanks,
P