Project

General

Profile

Freedom issue #2160

[sdcc] Contains non-free PIC headers and libraries

Rigo-V - 7 months ago - . Updated 5 months ago.

Status:
in progress
Priority:
freedom issue
Assignee:
% 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

#1

Updated by freemor 7 months 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.

#2

Updated by freemor 7 months 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.

#3

Updated by freemor 7 months 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.

#4

Updated by freemor 7 months ago

  • % Done changed from 0 to 60
#5

Updated by freemor 6 months 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]

#6

Updated by freemor 6 months ago

  • Assignee set to freemor
#7

Updated by freemor 5 months ago

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]

#8

Updated by freemor 5 months ago

  • Priority changed from bug to freedom issue

Also available in: Atom PDF