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, 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. > > Thanks for the report. > > julia > >> >> What can be done to solve this issue ? >> >> /usr/bin/ocamlc.opt -unsafe -I pyml-current -custom -cclib -lpyml_stubs >> -c pyml-current/py.ml -o pyml-current/py.cmo >> File "pyml-current/py.ml", line 500, characters 11-15: >> Error: This expression has type t but an expression was expected of type >> string option option >> make[6]: *** [pyml-current/py.cmo] Erreur 2 >> make[6]: quittant le répertoire « /root/coccinelle-1.0.6/bundles/pyml » >> make[5]: *** [all.opt] Erreur 2 >> make[5]: quittant le répertoire « /root/coccinelle-1.0.6/bundles/pyml » >> make[4]: *** [/root/coccinelle-1.0.6/bundles/pyml/.opt] Erreur 2 >> make[4]: quittant le répertoire « /root/coccinelle-1.0.6 » >> make[3]: *** [subdirs.opt] Erreur 1 >> make[3]: quittant le répertoire « /root/coccinelle-1.0.6 » >> make[2]: *** [opt-compil] Erreur 2 >> make[2]: quittant le répertoire « /root/coccinelle-1.0.6 » >> make[1]: *** [all-release] Erreur 2 >> make[1]: quittant le répertoire « /root/coccinelle-1.0.6 » >> make: *** [all] Erreur 2 >> >> Christophe >> _______________________________________________ >> Cocci mailing list >> [email protected] >> https://systeme.lip6.fr/mailman/listinfo/cocci >>_______________________________________________ > Cocci mailing list > [email protected] > https://systeme.lip6.fr/mailman/listinfo/cocci _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
