This is a patch to fix bug #2248, which was reported by Kio. The bug report is here:
Basically, there were a few places in sdcc/device/non-free/lib/Makefile.in that were creating directories or copying files even if the corresponding PIC14 or PIC16 port was disabled. I made a new variable called ENABLED_PORTS which will just be a subset of "pic14 pic16" and used that in a few places to achieve this.
I tested that the expected files get installed when the PIC14/PIC16 ports are both disabled and when they are both enabled.