#2248 $SDCC/share/sdcc/non-free/lib/src/pic* installed though configured with --disable-pic14|16-port

[Kio]

after ./configure --prefix=/tmp --disable-mcs51-port --disable-z180-port --disable-r2k-port --disable-r3ka-port --disable-gbz80-port --disable-ds390-port --disable-ds400-port --disable-pic14-port --disable-pic16-port --disable-tlcs90-port --disable-stm8-port --disable-hc08-port --disable-s08-port --disable-ucsim --disable-sdcdb

make and then make install installs approx. 5 MB of pic14 and pic16 related sources and stuff into $SDCC/share/sdcc/non-free/lib/src/pic*.

see attached ls -lR file.

tested on OSX sdcc 3.3.0 and cvs trunk head. attached file is from the latter one.

[David Grayson]

Hello, Kio. I submitted a patch to fix this: https://sourceforge.net/p/sdcc/patches/245/

[Ben Shi]

Fixed in reversion #9199 by applying patch #245 by David Grayson.