Packaging Request #2160
[sdcc] Contains non-free PIC headers and libraries
80%
Description
This package contains an entire folder full of non-free stuff in '/usr/share/sdcc/non-free/'.
The copyright notice in each of these files has this written in them:
For pic device libraries and header files which are derived from
Microchip header (.inc) and linker script (.lkr) files Microchip
requires that "The header files should state that they are only to be
used with authentic Microchip devices" which makes them incompatible
with the GPL. Pic device libraries and header files are located at
non-free/lib and non-free/include directories respectively.
Debian hasn't included theses files in its sdcc package since 2012: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=597933
History
Updated by freemor about 5 years ago
- Status changed from open to in progress
Have confirmed the issue.
Looks trivial to fix as there are ./configure options to disable pic14 and pic16 which are responsible for the non-free stuff..
I'll see if I can quickly hack up a libre version.
Updated by freemor about 5 years ago
Built clean and fixed the issue.
pushed PKGBUILD to [libre-testing] for evaulation for inclusion in [Libre]
libremaking packages to stage/release to [libre-testing] help with evaulation.
Updated by freemor about 5 years ago
x86_64 - Built
i686 - Built
ARM - Building
Looks like there is a dangling /usr/share/sdcc/non-free/ directory with empty PIC14 and PIC16 directories. Not a problem functionally but I should probably tidy that up.
Updated by freemor about 5 years ago
- % Done changed from 60 to 80
All built and pushed to [libre-testing]. Just need some feedback by people that actually use this before moving it to [Libre]
Updated by freemor about 5 years ago
Updated by GNUtoo almost 2 years ago
- Tracker changed from Freedom Issue to Packaging Request
I've added SDCC to the blacklist, so it's now a packaging request.
Denis.