cocci.inria.fr archive mirror
 help / color / mirror / Atom feed
From: linjia@ruijie.com.cn (linjia at ruijie.com.cn)
To: cocci@systeme.lip6.fr
Subject: [Cocci] about cocci installing
Date: Tue, 28 Aug 2018 02:56:34 +0000	[thread overview]
Message-ID: <265E382B26F78742B972BE038FD292C61DD2DE28@FZEX3.ruijie.com.cn> (raw)

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

[root at 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!
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://systeme.lip6.fr/pipermail/cocci/attachments/20180828/31aac76f/attachment.html>

             reply	other threads:[~2018-08-28  2:56 UTC|newest]

Thread overview: 2+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2018-08-28  2:56 linjia at ruijie.com.cn [this message]
2018-08-28  4:00 ` [Cocci] about cocci installing Julia Lawall

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=265E382B26F78742B972BE038FD292C61DD2DE28@FZEX3.ruijie.com.cn \
    --to=linjia@ruijie.com.cn \
    --cc=cocci@systeme.lip6.fr \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body. 
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).