emacs-bug-tracker
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

bug#63609: closed ([PATCH 0/4] gnu: Add coccinelle.)


From: GNU bug Tracking System
Subject: bug#63609: closed ([PATCH 0/4] gnu: Add coccinelle.)
Date: Fri, 02 Jun 2023 14:50:03 +0000

Your message dated Fri, 02 Jun 2023 16:49:45 +0200
with message-id <87mt1h537a.fsf@gnu.org>
and subject line Re: bug#63609: [PATCH 0/4] gnu: Add coccinelle.
has caused the debbugs.gnu.org bug report #63609,
regarding [PATCH 0/4] gnu: Add coccinelle.
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
63609: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=63609
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
--- Begin Message --- Subject: [PATCH 0/4] gnu: Add coccinelle. Date: Sat, 20 May 2023 14:48:38 +0200
Package definition for coccinelle semantic patch tool.

* ocaml-pyml is using a git commit as there's no recent version released yet
that wokrs with Python ^3.10.

* I thought of disabling the ocaml-parmap tests as these take a while
and possibly could take a bit of CPU time on CI, so in reality it's not
that long.  Could send a revised patch to disable it though, however,
feel free to disable the tests if necessary.

Jean-Pierre De Jesus DIAZ (4):
  gnu: Add ocaml-parmap.
  gnu: Add ocaml-stdcompat.
  gnu: Add ocaml-pyml.
  gnu: Add coccinelle.

 gnu/packages/ocaml.scm      | 117 ++++++++++++++++++++++++++++++++++++
 gnu/packages/patchutils.scm |  56 +++++++++++++++++
 2 files changed, 173 insertions(+)


base-commit: 5b700945fb0b33eec410de8979cae2fbf0d4f118
-- 
2.34.1




--- End Message ---
--- Begin Message --- Subject: Re: bug#63609: [PATCH 0/4] gnu: Add coccinelle. Date: Fri, 02 Jun 2023 16:49:45 +0200 User-agent: Gnus/5.13 (Gnus v5.13) Emacs/28.2 (gnu/linux)
Hi,

Jean-Pierre De Jesus DIAZ <jean@foundationdevices.com> skribis:

>   gnu: Add ocaml-parmap.
>   gnu: Add ocaml-stdcompat.
>   gnu: Add ocaml-pyml.
>   gnu: Add coccinelle.

Great work.  Applied, thanks!

Ludo’.


--- End Message ---

reply via email to

[Prev in Thread] Current Thread [Next in Thread]