On Thu, 26 May 2016, Luis R. Rodriguez wrote:
> On Thu, May 26, 2016 at 07:09:26AM +0200, Julia Lawall wrote: > > > > > > On Wed, 25 May 2016, Luis R. Rodriguez wrote: > > > > > On Wed, May 25, 2016 at 1:01 PM, Julia Lawall <[email protected]> > > > wrote: > > > > > > > > > > > > On Wed, 25 May 2016, Luis R. Rodriguez wrote: > > > > > > > >> On Wed, May 25, 2016 at 09:50:14AM +0200, Julia Lawall wrote: > > > >> > Thenks to those who have given feedback on the previous > > > >> > push to github. We have tried to address these concerns and a new > > > >> > revision is available. > > > >> > > > >> Should ./configure fail on ocaml < 4.03 ? It currently does not. > > > > > > > > I don't understand the question. You want it to fail on a version less > > > > than 4.03? Or you mean that it does and previously it did not? > > > > > > Sorry I thought 4.03 was required, its not. > > > > > > > I have 4.01, and configure works fine. > > > > > > FWIW, I was on 4.01 and I tried again had the same pcre symbol issue. > > > I upgraded to ocaml 4.02 and it now compiles fine. > > > > Thanks for the report. I have PCRE installed, so I didn't see this > > problem. > > OK so if on ocaml 4.1 ocaml-pcre is needed ? If so perhaps we can get > autoconf to stipulate this, otherwise this may be a recurring complaint. Hopefully the problem will simply be fixed. I don't know if it is possible, julia _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
