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.

julia
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci

Reply via email to