Packaging Request #2160: [sdcc] Contains non-free PIC headers and libraries - Packages - Parabola Issue Tracker

Packaging Request #2160

[sdcc] Contains non-free PIC headers and libraries

Rigo-V - about 5 years ago - . Updated about 2 years ago.

Status:

in progress

Priority:

freedom issue

Assignee:

freemor

% Done:

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.