sdcc ships nonfree libraries
$ 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/
Updated by GNUtoo over 3 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.