From: Raphael N. <rn...@we...> - 2014-04-01 21:35:39
|
Hi, On Tue, Apr 1, 2014 at 11:08 PM, Maarten Brock <sou...@ds...>wrote: > What I also don't quite get is if you meant to have these files included > or postponed for inclusion? > > I get the feeling that they build a fully free SDCC when configured with > only --disable-non-free. Or are you saying that it can't even build the > free libraries for the pics and you thus need to disable these too? > Exactly. --disable-non-free prevents the non-free device libraries (libdev<part-number>.lib) for the PIC ports from being built. It does *not* (yet) prevent the free lib/pic16/libio from accessing the non-free header files during building. While this works and probably results in free software, the resulting libio is probably useless without the libdev18f6720.lib or whatever target device one is using due to undefined symbols for SFRs. I do not know how strict the Debian rules w.r.t. free software are, and if Gudjon actually removes/renames device/non-free before building. With --disable-non-free (and, for now, --disable-pic14-port --disable-pic16-port) he could do that and build a completely free sdcc (without the PIC backends). Giving only --disable-non-free will currently still fail if device/non-free is removed/renamed before the build because at least pic16 accesses non-free/... during compilation of free libs. Changing this requires some changes that I would not commit at this point in time just before a release. I thus would include the configure.in and Makefile.in (including your fix) since they do not break anything but give Gudjon a good chance of creating a free SDCC release for Debian with little effort. Adding the free parts of the PIC backends later should still be possible. Raphael |