Re: [Cocci] Error: This expression has type t but an expression was expected of type, string option option

2016-10-12 Thread Thierry Martinez
Julia: > Apparently 3.12 is still supported. The error will be fixed shortly. It should be fixed now. Thanks for the report. -- Thierry. Julia Lawall (2016/10/12, 14:49 CEST) : > On Wed, 12 Oct 2016, Christophe LEROY wrote: > >> Hi >> >> I'm trying to compile coccinelle on a CentOS 6 system, an

Re: [Cocci] Error: This expression has type t but an expression was expected of type, string option option

2016-10-12 Thread Julia Lawall
On Wed, 12 Oct 2016, Christophe LEROY wrote: > Hi > > I'm trying to compile coccinelle on a CentOS 6 system, and I'm facing > the following compilation error. > > I have the following version of ocaml: ocaml-3.12.0-21.el6.i686 Apparently 3.12 is still supported. The error will be fixed shortly

Re: [Cocci] Error: This expression has type t but an expression was expected of type, string option option

2016-10-12 Thread Julia Lawall
On Wed, 12 Oct 2016, Christophe LEROY wrote: > Hi > > I'm trying to compile coccinelle on a CentOS 6 system, and I'm facing > the following compilation error. > > I have the following version of ocaml: ocaml-3.12.0-21.el6.i686 Unforuntately, Coccinelle no longer supports OCaml 3.12 which is qui