builds the libraries in ARM platform when the ARM configuration is selected in the configuraiton manager
Merge pull request #1 from jagui/feature/ARMConfigurations

builds the libraries in ARM platform when the ARM configuration is selec...