[Cocci] about cocci installing

[l***@ruijie.com.cn]

Dear sir:
I try to install cocci by opam in centos, but failed as following

[***@localhost]# opam install coccinelle
[WARNING] Running as root is not recommended
Your request can't be satisfied:
- No package matches coccinelle.


And I didn¡¯t find packages for centos on homepage of cocci

Packages exist for several distributions:

* Slackware<http://slackbuilds.org/repository/14.1/development/coccinelle/?search=coccinelle>, thanks to Dimitris Zlatanidis
* Debian<http://packages.debian.org/squeeze/coccinelle>, thanks to Eugeniy Meshcheryakov
* Ubuntu<https://launchpad.net/ubuntu/+source/coccinelle> See also the Ubuntu package on PPA<https://launchpad.net/%7Enpalix/+archive/coccinelle>, which contains a more recent version of Coccincelle.
* Fedora<https://apps.fedoraproject.org/packages/coccinelle>, thanks to Richard W.M. Jones and Michal Schmidt
* OpenSUSE<https://software.opensuse.org/package/coccinelle/>
* Arch Linux<https://aur.archlinux.org/packages/coccinelle/>, thanks to Sylvain HENRY
* NetBSD<http://pkgsrc.se/devel/coccinelle>, thanks to Thomas Klausner
* FreeBSD<http://www.freebsd.org/cgi/ports.cgi?query=coccinelle&stype=all>
* OpenBSD<http://openports.se/devel/coccinelle>
* Gentoo<http://gpo.zugaina.org/dev-util/coccinelle>
So is there ready packages for download and installing ? thanks a lot!

[Julia Lawall]

  I try to install cocci by opam in centos, but failed as following
 
[WARNING] Running as root is not recommended
  - No package matches coccinelle.
 
 
And I didn¢t find packages for centos on homepage of cocci
 
* Slackware, thanks to Dimitris Zlatanidis
* Debian, thanks to Eugeniy Meshcheryakov
* Ubuntu See also the Ubuntu package on PPA, which contains a more recent version of Coccincelle.
* Fedora, thanks to Richard W.M. Jones and Michal Schmidt
* OpenSUSE
* Arch Linux, thanks to Sylvain HENRY
* NetBSD, thanks to Thomas Klausner
* FreeBSD
* OpenBSD
* Gentoo
So is there ready packages for download and installing ? thanks a lot!

Not that I know of. Could you just get the github version and compile it
yourself? That way you will have the most up to date version anyway.

julia