GNU bug report logs - #42751
[PATCH] gnu: Add cfunge.

Previous Next

Package: guix-patches;

Reported by: Hendur Saga <hendursaga <at> yahoo.com>

Date: Fri, 7 Aug 2020 19:55:02 UTC

Severity: normal

Tags: patch

Done: Leo Famulari <leo <at> famulari.name>

Bug is archived. No further changes may be made.

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 42751 in the body.
You can then email your comments to 42751 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

View this report as an mbox folder, status mbox, maintainer mbox


Report forwarded to guix-patches <at> gnu.org:
bug#42751; Package guix-patches. (Fri, 07 Aug 2020 19:55:02 GMT) Full text and rfc822 format available.

Acknowledgement sent to Hendur Saga <hendursaga <at> yahoo.com>:
New bug report received and forwarded. Copy sent to guix-patches <at> gnu.org. (Fri, 07 Aug 2020 19:55:02 GMT) Full text and rfc822 format available.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Hendur Saga <hendursaga <at> yahoo.com>
To: guix-patches <at> gnu.org
Subject: [PATCH] gnu: Add cfunge.
Date: Fri, 7 Aug 2020 17:02:40 +0000 (UTC)
[Message part 1 (text/plain, inline)]
I added a new file, esolangs.scm, because I could not find any other place to be more appropriate, for this and forthcoming packages.

- Hendursaga
[Message part 2 (text/html, inline)]
[0001-gnu-Add-cfunge.patch (text/x-patch, attachment)]

Information forwarded to guix-patches <at> gnu.org:
bug#42751; Package guix-patches. (Sun, 09 Aug 2020 20:51:02 GMT) Full text and rfc822 format available.

Message #8 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Jakub Kądziołka <kuba <at> kadziolka.net>
To: Hendur Saga <hendursaga <at> yahoo.com>
Cc: guix-patches <at> gnu.org
Subject: Re: [PATCH] gnu: Add cfunge.
Date: Sun, 9 Aug 2020 22:50:33 +0200
[Message part 1 (text/plain, inline)]
On Fri, Aug 07, 2020 at 05:02:40PM +0000, Hendur Saga wrote:
> I added a new file, esolangs.scm, because I could not find any other place to be more appropriate, for this and forthcoming packages.

Not a bad idea, though toys.scm somewhat fits. Please add the new file
to the list in gnu/local.mk, though.

Also, could you run your code through etc/indent-code.el?

> +   (arguments
> +     '(#:tests? #f)) ; no make target 'test'

The repository does contain a tests/ folder, did you try running these?
You can check the rgbds package from assembly.scm for some inspiration
as to how you can handle a custom testsuite entrypoint.

> +   (inputs
> +    `(("ncurses" ,ncurses)))
> +   (home-page "https://github.com/VorpalBlade/cfunge")
> +   (synopsis "Fast conforming Befunge93/98/109 interpreter in C")
> +   (description "cfunge is a fast conforming Befunge93/98/109 interpreter written in C.
           @command{cfunge}

> +It supports several fingerprints.")

It would be nice to define what a fingerprint is, as even though there
was once a summer when I was fluent in Befunge, I still needed a longer
moment to recall what those are. How about this Texinfo markup?

@dfn{fingerprints} (opt-in language extensions identified by a
four-character code).

> +   (license license:gpl2+)))

COPYING and the headers in src/*.c (well, I checked diagnostic.c)
suggest that it's actually gpl3+, what gives?

Could you send an updated patch?

Regards,
Jakub Kądziołka

P.S. I tried to test the package by running this CGCC answer in it, but
it loops infinitely. I didn't have time to debug this, so I don't know
where the blame lies.

https://codegolf.stackexchange.com/a/150920/55934
[signature.asc (application/pgp-signature, inline)]

Information forwarded to guix-patches <at> gnu.org:
bug#42751; Package guix-patches. (Sat, 15 Aug 2020 18:44:01 GMT) Full text and rfc822 format available.

Message #11 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Hendur Saga <hendursaga <at> yahoo.com>
To: Jakub Kądziołka <kuba <at> kadziolka.net>
Cc: "guix-patches <at> gnu.org" <guix-patches <at> gnu.org>
Subject: Re: [PATCH] gnu: Add cfunge.
Date: Sat, 15 Aug 2020 17:21:01 +0000 (UTC)
[Message part 1 (text/plain, inline)]
 Patch updated and attached.
> The repository does contain a tests/ folder, did you try running these?
I've ran pretty much all the tests and quite frankly, they are manual, human-graded tests. There is no unified way to tell if a test passed, etc. That might be why there is no test target.
> How about this Texinfo markup?
I modified your suggestion a little to more resemble the specs' language: http://quadium.net/funge/spec98.html
> it's actually gpl3+, what gives?
Mea culpa. I mistyped that.
> I don't know where the blame lies.
The tio.run links linked from those two Befunge-98 examples use the FBBI fingerprint, which currently isn't supported by cfunge. I tested a few examples from  https://esolangs.org/wiki/Befunge  and everything seems to work fine.
    On Sunday, August 9, 2020, 04:50:37 PM EDT, Jakub Kądziołka <kuba <at> kadziolka.net> wrote:  
 
 On Fri, Aug 07, 2020 at 05:02:40PM +0000, Hendur Saga wrote:
> I added a new file, esolangs.scm, because I could not find any other place to be more appropriate, for this and forthcoming packages.

Not a bad idea, though toys.scm somewhat fits. Please add the new file
to the list in gnu/local.mk, though.

Also, could you run your code through etc/indent-code.el?

> +  (arguments
> +    '(#:tests? #f)) ; no make target 'test'

The repository does contain a tests/ folder, did you try running these?
You can check the rgbds package from assembly.scm for some inspiration
as to how you can handle a custom testsuite entrypoint.

> +  (inputs
> +    `(("ncurses" ,ncurses)))
> +  (home-page "https://github.com/VorpalBlade/cfunge")
> +  (synopsis "Fast conforming Befunge93/98/109 interpreter in C")
> +  (description "cfunge is a fast conforming Befunge93/98/109 interpreter written in C.
          @command{cfunge}

> +It supports several fingerprints.")

It would be nice to define what a fingerprint is, as even though there
was once a summer when I was fluent in Befunge, I still needed a longer
moment to recall what those are. How about this Texinfo markup?

@dfn{fingerprints} (opt-in language extensions identified by a
four-character code).

> +  (license license:gpl2+)))

COPYING and the headers in src/*.c (well, I checked diagnostic.c)
suggest that it's actually gpl3+, what gives?

Could you send an updated patch?

Regards,
Jakub Kądziołka

P.S. I tried to test the package by running this CGCC answer in it, but
it loops infinitely. I didn't have time to debug this, so I don't know
where the blame lies.

https://codegolf.stackexchange.com/a/150920/55934  
[Message part 2 (text/html, inline)]
[0001-gnu-Add-cfunge.patch (text/x-patch, attachment)]

Information forwarded to guix-patches <at> gnu.org:
bug#42751; Package guix-patches. (Tue, 15 Dec 2020 22:03:01 GMT) Full text and rfc822 format available.

Message #14 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Leo Famulari <leo <at> famulari.name>
To: Hendur Saga via Guix-patches via <guix-patches <at> gnu.org>
Cc: Jakub Kądziołka <kuba <at> kadziolka.net>,
 42751-done <at> debbugs.gnu.org
Subject: Re: [bug#42751] [PATCH] gnu: Add cfunge.
Date: Tue, 15 Dec 2020 17:02:01 -0500
On Sat, Aug 15, 2020 at 05:21:01PM +0000, Hendur Saga via Guix-patches via wrote:
>  Patch updated and attached.
> > The repository does contain a tests/ folder, did you try running these?
> I've ran pretty much all the tests and quite frankly, they are manual, human-graded tests. There is no unified way to tell if a test passed, etc. That might be why there is no test target.

Okay, I rewrote the comment to explain this.

> > it's actually gpl3+, what gives?
> Mea culpa. I mistyped that.

It's GPL-3 only. The copyright owner has reserved the right to relicense
the software under later versions of the GPL:

------
 * This program is free software: you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation, either version 3 of the License, or
 * (at the proxy's option) any later version. Arvid Norlander is a
 * proxy who can decide which future versions of the GNU General Public
 * License can be used.
------

source:
https://github.com/VorpalBlade/cfunge/blob/master/src/main.c#L6

> From a30d2ce2870964c78c82469750e5bc8a34a0a477 Mon Sep 17 00:00:00 2001
> From: Hendursaga <hendursaga <at> yahoo.com>
> Date: Sat, 15 Aug 2020 17:05:57 +0000
> Subject: [PATCH] gnu: Add cfunge.
> 
> * gnu/packages/esolangs.scm: New file.
> * gnu/packages/esolangs.scm (cfunge): New variable.
> * gnu/local.mk: Add esolangs.scm.

Thanks! I tweaked the commit message and pushed as
0510ca15aa395ddd3daf0720b541662671bf14c3

> ---
>  gnu/local.mk              |  1 +
>  gnu/packages/esolangs.scm | 50 +++++++++++++++++++++++++++++++++++++++
>  2 files changed, 51 insertions(+)
>  create mode 100644 gnu/packages/esolangs.scm
> 
> diff --git a/gnu/local.mk b/gnu/local.mk
> index 27dcf965ca..2e320512d8 100644
> --- a/gnu/local.mk
> +++ b/gnu/local.mk
> @@ -197,6 +197,7 @@ GNU_SYSTEM_MODULES =				\
>    %D%/packages/enlightenment.scm		\
>    %D%/packages/entr.scm				\
>    %D%/packages/erlang.scm			\
> +  %D%/packages/esolangs.scm			\
>    %D%/packages/fabric-management.scm		\
>    %D%/packages/fcitx.scm			\
>    %D%/packages/figlet.scm			\
> diff --git a/gnu/packages/esolangs.scm b/gnu/packages/esolangs.scm
> new file mode 100644
> index 0000000000..f9848799e3
> --- /dev/null
> +++ b/gnu/packages/esolangs.scm
> @@ -0,0 +1,50 @@
> +;;; GNU Guix --- Functional package management for GNU
> +;;; Copyright ?? 2020 Hendursaga <hendursaga <at> yahoo.com>
> +;;;
> +;;; This file is part of GNU Guix.
> +;;;
> +;;; GNU Guix is free software; you can redistribute it and/or modify it
> +;;; under the terms of the GNU General Public License as published by
> +;;; the Free Software Foundation; either version 3 of the License, or (at
> +;;; your option) any later version.
> +;;;
> +;;; GNU Guix is distributed in the hope that it will be useful, but
> +;;; WITHOUT ANY WARRANTY; without even the implied warranty of
> +;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
> +;;; GNU General Public License for more details.
> +;;;
> +;;; You should have received a copy of the GNU General Public License
> +;;; along with GNU Guix.  If not, see <http://www.gnu.org/licenses/>.
> +
> +(define-module (gnu packages esolangs)
> +  #:use-module (gnu packages ncurses)
> +  #:use-module (guix build-system cmake)
> +  #:use-module (guix download)
> +  #:use-module (guix git-download)
> +  #:use-module ((guix licenses) #:prefix license:)
> +  #:use-module (guix packages))
> +
> +(define-public cfunge
> +  (package
> +    (name "cfunge")
> +    (version "0.9.0")
> +    (source (origin
> +              (method git-fetch)
> +              (uri (git-reference
> +                    (url "https://github.com/VorpalBlade/cfunge")
> +                    (commit version)))
> +              (file-name (git-file-name name version))
> +              (sha256
> +               (base32
> +                "18ir0h10vxdb5jb57w5hjbgi8spjxg9x2148agadhhmbhsja02m7"))))
> +    (build-system cmake-build-system)
> +    (arguments
> +     '(#:tests? #f)) ; no make target 'test'
> +    (inputs
> +     `(("ncurses" ,ncurses)))
> +    (home-page "https://github.com/VorpalBlade/cfunge")
> +    (synopsis "Fast conforming Befunge93/98/109 interpreter in C")
> +    (description "@command{cfunge} is a fast conforming Befunge93/98/109 interpreter
> +written in C.  It supports several @dfn{fingerprints} (opt-in language extensions
> +identified by unique ID codes).")
> +    (license license:gpl3+)))
> -- 
> 2.28.0
> 





Reply sent to Leo Famulari <leo <at> famulari.name>:
You have taken responsibility. (Tue, 15 Dec 2020 22:03:02 GMT) Full text and rfc822 format available.

Notification sent to Hendur Saga <hendursaga <at> yahoo.com>:
bug acknowledged by developer. (Tue, 15 Dec 2020 22:03:02 GMT) Full text and rfc822 format available.

bug archived. Request was from Debbugs Internal Request <help-debbugs <at> gnu.org> to internal_control <at> debbugs.gnu.org. (Wed, 13 Jan 2021 12:24:06 GMT) Full text and rfc822 format available.

This bug report was last modified 3 years and 96 days ago.

Previous Next


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