Hello Mark, I hope you're doing well!
I'm really sorry for the confusion, I might have not fully understood what you meant, but I believe I do now.
The only supported IDE for the KW30Z is IAR Embedded Workbench, and the only way to develop on it with our libraries should be using that IDE and the already precompiled libraries in the connectivity software, nonetheless, if you are just starting to develop I would recommend you to use the KW31Z as it is the newest version of our Bluetooth LE and it is compliant with 2.4 Bluetooth Low Energy version 4.2and has a better RF performance than the KW30Z.
I'm aware that there is no library for the KW31Z available, but the KW41Z is compatible with the KW31Z, as long as you only use the available pins in the KW31Z and don't enable anything related to Thread, ZigBee or 802.15.4. If you only use the GFSK or the Bluetooth LE examples, you should be able to use the examples you create for the KW41Z in the KW31Z.
But, it is not possible to use the KW41Z code in the KW30Z code, as the precompiled libraries are not compatible between them.
The libraries are precompiled for delivery and those are not available to share and that it's the only way we provide them, I'm sorry for the inconveniences this might cause you.
Again, if you are just starting your project, I would recommend you use the KW31Z, as it supports Bluetooth LE 4.2, it's also being constantly updated with each maintenance release, and also, it has support for IAR and MCUXpresso.
Please let me know if you have any additional questions, and sorry for any inconveniences this might cause you.
Best regards,
Sebastian