From: Anton Farygin <rider@basealt.ru>
To: devel@lists.altlinux.org
Subject: Re: [devel] coccinelle
Date: Sat, 21 Dec 2019 08:32:18 +0300
Message-ID: <464e2a63-2b4f-b69c-1fe8-62fc2e4b8b8e@basealt.ru> (raw)
In-Reply-To: <alpine.LFD.2.20.1912210005060.6363@imap.altlinux.org>
On 21.12.2019 0:12, Ivan Zakharyaschev wrote:
> Жаль, что такая проверка не всё поймает, потому что некоторые программы,
> чтобы вызвать python, длеают сначала which python, а потом используют
> найденный путь. (Например, так делает coccinelle, а точнее забандленный
> модуль ocaml pyml. Из-за этого мои последние сборки coccinelle с
> расширенным %check не проходили в Sisyphus -- hasher не ставит по
> умолчанию /usr/bin/python. Придётся все такие программы в пакетах
> переучивать и патчить при необходимости. Заодно можно на python3
> переводить.)
Пока вспомнил - а зачем тебе coccinelle в p8 ?
Это же инструмент, можно использовать сизифный на исходниках из любого
бранча.
next prev parent reply other threads:[~2019-12-21 5:32 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2019-12-20 17:38 [devel] Дистрибутивостроителям и образособирателям про Python Vladimir D. Seleznev
2019-12-20 21:12 ` Ivan Zakharyaschev
2019-12-21 1:51 ` Ivan Zakharyaschev
2019-12-21 5:32 ` Anton Farygin [this message]
2019-12-21 20:36 ` [devel] coccinelle Ivan Zakharyaschev
2019-12-21 21:03 ` Anton Farygin
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=464e2a63-2b4f-b69c-1fe8-62fc2e4b8b8e@basealt.ru \
--to=rider@basealt.ru \
--cc=devel@lists.altlinux.org \
/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
ALT Linux Team development discussions
This inbox may be cloned and mirrored by anyone:
git clone --mirror http://lore.altlinux.org/devel/0 devel/git/0.git
# If you have public-inbox 1.1+ installed, you may
# initialize and index your mirror using the following commands:
public-inbox-init -V2 devel devel/ http://lore.altlinux.org/devel \
devel@altlinux.org devel@altlinux.ru devel@lists.altlinux.org devel@lists.altlinux.ru devel@linux.iplabs.ru mandrake-russian@linuxteam.iplabs.ru sisyphus@linuxteam.iplabs.ru
public-inbox-index devel
Example config snippet for mirrors.
Newsgroup available over NNTP:
nntp://lore.altlinux.org/org.altlinux.lists.devel
AGPL code for this site: git clone https://public-inbox.org/public-inbox.git