764be2f461
Since platform libraries can now be generated at the use side, we need to: a) remove them from a default distribution b) drop the restricted distribution But we still need a distribution with prebuilt libraries to be able to workaround problems with platform libraries generator. This patch removes libraries from a default distribution and adds a distribution type with pretuilt libraries.