Bug #2243
sdcc ships nonfree libraries
Status:
duplicate
Priority:
freedom issue
Assignee:
-
% Done:
0%
Description
$ sdcc --help [...] --use-non-free Search / include non-free licensed libraries and header files [...] $ pacman -Q -l sdcc | grep non-free/$ sdcc /usr/share/sdcc/non-free/
History
Updated by GNUtoo about 5 years ago
Many of the files in /usr/share/sdcc/non-free/ have something like that:
* 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. * Sdcc should be run with the --use-non-free command line option in * order to include non-free header files and libraries. * * See http://sdcc.sourceforge.net/ for the latest information on sdcc.
Updated by freemor about 5 years ago
- Status changed from confirmed to duplicate
This is a duplicate version of #2160.
There is already a Patched package in testing.. No one ever tested it. Please feel free to do so.