GNU bug report logs - #44557
[PATCH] gnu: Add gputils.

Previous Next

Package: guix-patches;

Reported by: Ekaitz Zarraga <ekaitz <at> elenq.tech>

Date: Tue, 10 Nov 2020 20:24:01 UTC

Severity: normal

Tags: patch, wontfix

Done: Ludovic Courtès <ludo <at> gnu.org>

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 44557 in the body.
You can then email your comments to 44557 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#44557; Package guix-patches. (Tue, 10 Nov 2020 20:24:02 GMT) Full text and rfc822 format available.

Acknowledgement sent to Ekaitz Zarraga <ekaitz <at> elenq.tech>:
New bug report received and forwarded. Copy sent to guix-patches <at> gnu.org. (Tue, 10 Nov 2020 20:24:02 GMT) Full text and rfc822 format available.

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

From: Ekaitz Zarraga <ekaitz <at> elenq.tech>
To: "guix-patches <at> gnu.org" <guix-patches <at> gnu.org>
Subject: [PATCH] gnu: Add gputils.
Date: Tue, 10 Nov 2020 20:23:13 +0000
Hi all,

I packaged GPUtils (patch below) but I'm not sure about how to separate the
documentation (a large folder full of htmls) to a "doc" output, like other
packages have. I tried setting --htmldir configure-flag but it didn't change
anything, I also considered moving the docs to the "doc" output by hand in
an extra phase but I don't know if it's the best thing to do.
Ideas?

Thanks!

From 6baa681504c18d9768142937a1d014e59366bee3 Mon Sep 17 00:00:00 2001
From: Ekaitz Zarraga <ekaitz <at> elenq.tech>
Date: Tue, 10 Nov 2020 20:30:14 +0100
Subject: [PATCH] gnu: Add gputils.

    * gnu/packages/electronics.scm (gputils): New variable.
---
 gnu/packages/electronics.scm | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)

diff --git a/gnu/packages/electronics.scm b/gnu/packages/electronics.scm
index d21ec61039..2b5fd25a15 100644
--- a/gnu/packages/electronics.scm
+++ b/gnu/packages/electronics.scm
@@ -276,3 +276,23 @@ format support.")
     (description "PulseView is a Qt based logic analyzer, oscilloscope and MSO GUI
 for sigrok.")
     (license license:gpl3+)))
+
+
+(define-public gputils
+  (package
+    (name "gputils")
+    (version "1.5.0")
+    (source (origin
+              (method url-fetch)
+              (uri (string-append
+                     "mirror://sourceforge/gputils/gputils/"
+                     version "/gputils-" version ".tar.bz2"))
+              (sha256
+                (base32
+                  "1xfvmvb6zyzs5bqycbvmc6hyl2vp2pv22aaq5974vip4rriklhf7"))))
+    (build-system gnu-build-system)
+    (home-page "https://gputils.sourceforge.io/")
+    (synopsis "GNU PIC Utilities")
+    (description "GPUTILS is a collection of tools for the Microchip (TM) PIC
+microcontrollers.  It includes gpasm, gplink, and gplib.")
+    (license license:gpl2+)))
--
2.28.0






Information forwarded to guix-patches <at> gnu.org:
bug#44557; Package guix-patches. (Tue, 10 Nov 2020 23:10:02 GMT) Full text and rfc822 format available.

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

From: Simon South <simon <at> simonsouth.net>
To: 44557 <at> debbugs.gnu.org
Cc: Ekaitz Zarraga <ekaitz <at> elenq.tech>
Subject: Re: [bug#44557] [PATCH] gnu: Add gputils.
Date: Tue, 10 Nov 2020 18:04:06 -0500
Ekaitz Zarraga <ekaitz <at> elenq.tech> writes:
> I packaged GPUtils...

I hate to jump in here with bad news, but I didn't expect anyone would
package gputils before I got around to sharing this:

While gputils itself is free software, I suspect some of the header
files contained in its distribution may not be, which makes the
licensing status of the project as a whole somewhat dubious. (This is
similar to the problem that affects SDCC[0].) I think gputils should be
reviewed carefully before the decision is made to include it in Guix.

As evidence, I submit the following:

- The "*.inc" files in gputils' "header" subfolder that are intended for
  use with PIC devices carry a copyright notice from Microchip[1], the
  current owner of the PIC design, but I have found no mention of any
  special terms for the files' distribution, nor any notice that they
  too have been released under the terms of the GPL.

- SDCC, a free C compiler for microcontrollers, distributes header files
  of its own that are also derived from files originally provided by
  Microchip. When they approached the company[2] in 2010 to verify they
  had permission to distribute their derivative versions under the GPL,
  Microchip responded[3] to say the files could be distributed but with
  the requirement they be used only with "authentic" PIC-compatible
  controllers produced by Microchip themselves. This violates freedom
  0[4], making the files non-free and (worse) any software compiled with
  SDCC that relies on these files non-free as well.

  Consequently, the SDCC project moved these files to a "non-free"
  section of their source tree and added build and run-time options to
  control their use.

Now here's where things get a little murky:

- The Microchip-copyrighted files from which the SDCC project derives
  their non-free header files are... the same Microchip-copyrighted
  files gputils provides in its "header" folder. This is clear from the
  SDCC manual[5] in section 4.7.10, "Adding New Devices to the Port",
  which gives instructions on converting gputils' supposedly free
  "*.inc" files into "non-free" header files for use with SDCC.

How is it, then, that these files can be distributed freely under the
GPL with gputils, while files produced from them cannot be freely
distributed with SDCC? I suspect the answer is that _neither_ project
has permission to distribute these files under a free license, and in
the case of gputils, no one has raised the question yet.

Obviously I feel we _should_ raise the question before deciding to
include gputils as a package in Guix. Unfortunately, it is looking to me
as though there may not be a place for PIC-compatible controllers,
Microchip-branded or otherwise, in the free-software world.

[0] https://issues.guix.gnu.org/44374
[1] See e.g.
    https://sourceforge.net/p/gputils/code/HEAD/tree/trunk/gputils/header/p10f200.inc
[2] https://sourceforge.net/p/sdcc/mailman/sdcc-devel/thread/4C508624.8000308%40siol.net/#msg25835011
[3] https://sourceforge.net/p/sdcc/mailman/sdcc-devel/thread/1DB7F50D3A07E6439E44C13B1A4470520D09F306%40CHN-CL-MAIL01.mchp-main.com/
[4] https://www.gnu.org/philosophy/free-sw.html
[5] http://sdcc.sourceforge.net/doc/sdccman.pdf

-- 
Simon South
simon <at> simonsouth.net




Information forwarded to guix-patches <at> gnu.org:
bug#44557; Package guix-patches. (Wed, 11 Nov 2020 11:29:02 GMT) Full text and rfc822 format available.

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

From: Ekaitz Zarraga <ekaitz <at> elenq.tech>
To: Simon South <simon <at> simonsouth.net>
Cc: "44557 <at> debbugs.gnu.org" <44557 <at> debbugs.gnu.org>
Subject: Re: [bug#44557] [PATCH] gnu: Add gputils.
Date: Wed, 11 Nov 2020 11:28:32 +0000
‐‐‐‐‐‐‐ Original Message ‐‐‐‐‐‐‐
On Wednesday, November 11, 2020 12:04 AM, Simon South <simon <at> simonsouth.net> wrote:

> Ekaitz Zarraga ekaitz <at> elenq.tech writes:
>
> > I packaged GPUtils...
>
> I hate to jump in here with bad news, but I didn't expect anyone would
> package gputils before I got around to sharing this:
>
> While gputils itself is free software, I suspect some of the header
> files contained in its distribution may not be, which makes the
> licensing status of the project as a whole somewhat dubious. (This is
> similar to the problem that affects SDCC[0].) I think gputils should be
> reviewed carefully before the decision is made to include it in Guix.


Hi,

Thanks for the email.
I'll forward this discussion to the GPUtils team and ask them about
the header files. There might be a way to separate them from the project.

Thanks for the detailed answer.

Best,
Ekaitz




Information forwarded to guix-patches <at> gnu.org:
bug#44557; Package guix-patches. (Sun, 29 Nov 2020 22:37:02 GMT) Full text and rfc822 format available.

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

From: Ludovic Courtès <ludo <at> gnu.org>
To: Ekaitz Zarraga <ekaitz <at> elenq.tech>
Cc: Simon South <simon <at> simonsouth.net>,
 "44557 <at> debbugs.gnu.org" <44557 <at> debbugs.gnu.org>
Subject: Re: [bug#44557] [PATCH] gnu: Add gputils.
Date: Sun, 29 Nov 2020 23:36:03 +0100
Egun on,

Ekaitz Zarraga <ekaitz <at> elenq.tech> skribis:

> I'll forward this discussion to the GPUtils team and ask them about
> the header files. There might be a way to separate them from the project.

Did you get feedback from them?

What Simon describes looks like a showstopper.  :-/

Thanks,
Ludo’.




Information forwarded to guix-patches <at> gnu.org:
bug#44557; Package guix-patches. (Mon, 14 Jun 2021 02:45:01 GMT) Full text and rfc822 format available.

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

From: Maxim Cournoyer <maxim.cournoyer <at> gmail.com>
To: Ludovic Courtès <ludo <at> gnu.org>
Cc: Simon South <simon <at> simonsouth.net>,
 "44557 <at> debbugs.gnu.org" <44557 <at> debbugs.gnu.org>,
 Ekaitz Zarraga <ekaitz <at> elenq.tech>
Subject: Re: bug#44557: [PATCH] gnu: Add gputils.
Date: Sun, 13 Jun 2021 22:44:07 -0400
Hello,

Ludovic Courtès <ludo <at> gnu.org> writes:

> Egun on,
>
> Ekaitz Zarraga <ekaitz <at> elenq.tech> skribis:
>
>> I'll forward this discussion to the GPUtils team and ask them about
>> the header files. There might be a way to separate them from the project.
>
> Did you get feedback from them?
>
> What Simon describes looks like a showstopper.  :-/
>
> Thanks,
> Ludo’.

Looking at the project trackers [0] and mailing list [1], I don't see
traces of such discussion.  Could you please provide a link so that we
can follow any resolution?

Thank you!

Maxim

[0]  https://sourceforge.net/p/gputils/_list/tickets
[1]  https://sourceforge.net/p/gputils/mailman/gputils-devel/




Information forwarded to guix-patches <at> gnu.org:
bug#44557; Package guix-patches. (Mon, 14 Jun 2021 08:09:01 GMT) Full text and rfc822 format available.

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

From: Ekaitz Zarraga <ekaitz <at> elenq.tech>
To: Maxim Cournoyer <maxim.cournoyer <at> gmail.com>
Cc: Ludovic Courtès <ludo <at> gnu.org>,
 Simon South <simon <at> simonsouth.net>,
 "44557 <at> debbugs.gnu.org" <44557 <at> debbugs.gnu.org>
Subject: Re: bug#44557: [PATCH] gnu: Add gputils.
Date: Mon, 14 Jun 2021 08:08:20 +0000
On Monday, June 14th, 2021 at 4:44 AM, Maxim Cournoyer <maxim.cournoyer <at> gmail.com> wrote:

> Hello,
>
> Ludovic Courtès ludo <at> gnu.org writes:
>
> > Egun on,
> >
> > Ekaitz Zarraga ekaitz <at> elenq.tech skribis:
> >
> > > I'll forward this discussion to the GPUtils team and ask them about
> > >
> > > the header files. There might be a way to separate them from the project.
> >
> > Did you get feedback from them?
> >
> > What Simon describes looks like a showstopper. :-/
> >
> > Thanks,
> >
> > Ludo’.
>
> Looking at the project trackers [0] and mailing list [1], I don't see
>
> traces of such discussion. Could you please provide a link so that we
>
> can follow any resolution?
>
> Thank you!
>
> Maxim
>
> [0] https://sourceforge.net/p/gputils/_list/tickets
>
> [1] https://sourceforge.net/p/gputils/mailman/gputils-devel/

IIRC I sent them an email but never got answers.

You can close the issue and discard the patch.

Best,
Ekaitz




Added tag(s) wontfix. Request was from Ludovic Courtès <ludo <at> gnu.org> to control <at> debbugs.gnu.org. (Mon, 14 Jun 2021 20:52:02 GMT) Full text and rfc822 format available.

bug closed, send any further explanations to 44557 <at> debbugs.gnu.org and Ekaitz Zarraga <ekaitz <at> elenq.tech> Request was from Ludovic Courtès <ludo <at> gnu.org> to control <at> debbugs.gnu.org. (Mon, 14 Jun 2021 20:52:02 GMT) Full text and rfc822 format available.

Information forwarded to guix-patches <at> gnu.org:
bug#44557; Package guix-patches. (Fri, 25 Jun 2021 04:06:01 GMT) Full text and rfc822 format available.

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

From: Maxim Cournoyer <maxim.cournoyer <at> gmail.com>
To: Ekaitz Zarraga <ekaitz <at> elenq.tech>
Cc: Ludovic Courtès <ludo <at> gnu.org>,
 Simon South <simon <at> simonsouth.net>,
 "44557 <at> debbugs.gnu.org" <44557 <at> debbugs.gnu.org>
Subject: Re: bug#44557: [PATCH] gnu: Add gputils.
Date: Fri, 25 Jun 2021 00:04:57 -0400
Hello,

Ekaitz Zarraga <ekaitz <at> elenq.tech> writes:

[...]

>> Looking at the project trackers [0] and mailing list [1], I don't see
>>
>> traces of such discussion. Could you please provide a link so that we
>>
>> can follow any resolution?
>>
>> Thank you!
>>
>> Maxim
>>
>> [0] https://sourceforge.net/p/gputils/_list/tickets
>>
>> [1] https://sourceforge.net/p/gputils/mailman/gputils-devel/
>
> IIRC I sent them an email but never got answers.
>
> You can close the issue and discard the patch.

I've opened a ticket with the gputils project so that this hopefully
gets some attention [0].  When it gets resolved, we can revisit this
submission again.

[0]  https://sourceforge.net/p/gputils/bugs/317/

Thank you,

Maxim




bug archived. Request was from Debbugs Internal Request <help-debbugs <at> gnu.org> to internal_control <at> debbugs.gnu.org. (Fri, 23 Jul 2021 11:24:07 GMT) Full text and rfc822 format available.

This bug report was last modified 2 years and 250 days ago.

Previous Next


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