Freedom Issue #2160
[sdcc] Contains non-free PIC headers and libraries
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
- 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.
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.
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.
- % Done changed from 0 to 60
- % 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]
Duplicated in #2243
GNUtoo If you do run the patched version though it's paces and it's all good please feel free to move it to [Libre]
- Priority changed from bug to freedom issue
Also available in: Atom