GNU bug report logs - #65545
[PATCH v5 2/2] gnu: Add online-judge-tools

Previous Next

Full log

Message #10 received at 65545-done <at> debbugs.gnu.org (full text, mbox):

From: Christopher Baines <mail <at> cbaines.net>
To: gemmaro <gemmaro.dev <at> gmail.com>
Cc: 65545-done <at> debbugs.gnu.org
Subject: Re: [bug#65545] [PATCH v5 2/2] gnu: Add online-judge-tools
Date: Mon, 30 Oct 2023 11:28:59 +0000

[Message part 1 (text/plain, inline)]

gemmaro <gemmaro.dev <at> gmail.com> writes:

> * gnu/packages/python-xyz.scm (online-judge-tools): New variable.
> * gnu/packages/patches/online-judge-tools.patch, gnu/local.mk: Add patch file.
> ---
>  gnu/local.mk                                  |  3 +-
>  gnu/packages/patches/online-judge-tools.patch | 62 +++++++++++++++++++
>  gnu/packages/python-xyz.scm                   | 35 +++++++++++
>  3 files changed, 99 insertions(+), 1 deletion(-)
>  create mode 100644 gnu/packages/patches/online-judge-tools.patch

Hey,

I'm not a big fan of the "big patch to disable tests" approach here, but
it works, so I've gone ahead and pushed these two patches to master as
789ef6837f9794c02bc53a854aacfdf04d3384cf.

It would be good to see if the patches could be removed in the future
though.

Thanks,

Chris

[signature.asc (application/pgp-signature, inline)]

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.