SF Markus Elfring : > /usr/bin/ocamlc.opt -c commons/proc_pidpath_stubs.c > gcc: error: unrecognized command line option > ‘-fstack-clash-protection’; did you mean ‘-fstack-protector’?
Thank you for reporting this. It seems that ocamlc assumes a version of GCC more recent than the version installed on your system. In commit c619caf8 (github master), I removed the C stubs and replaced by pure OCaml implementations. The problem should have disappeared now. Cheers, -- Thierry. SF Markus Elfring : >> delete [] is now supported by the C++ parser (ie with option --c++). > > Thanks for this software extension. > > Now I am curious on collateral evolution around this information. > > elfring@Sonne:~/Projekte/Coccinelle/20160205> git checkout master && git pull > && ./autogen && ./configure && grep VERSION=1 Makefile.config && LANG=C make > world > … > VERSION=1.0.6-00452-g175de16b > … > /usr/bin/ocamlc.opt -c commons/proc_pidpath_stubs.c > gcc: error: unrecognized command line option ‘-fstack-clash-protection’; did > you mean ‘-fstack-protector’? > make: *** [Makefile:633: commons/proc_pidpath_stubs.o] Error 2 > > > Are there any special dependencies to consider for the usage of > the software “OCaml 4.05.0-5.1” (on my openSUSE development system)? > > Regards, > Markus _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
