KDE_PLATFORM_PROFILE in kde-workspace

[David Faure]

kde-workspace still uses this cmake variable, set by kdelibs,
but KF5 itself doesn't use it at all.

What's the plan about this in kde-workspace?
It's currently used to disable the compilation of a large number of 
applications (kdm, systemsettings, klipper, krunner, etc.)

I can just move the bit of cmake logic from kdelibs to kde-workspace, but if 
you have bigger plans, please let me know.

plasma itself doesn't use this cmake var (anymore).

-- 
David Faure, faure at kde.org, http://www.davidfaure.fr
Working on KDE, in particular KDE Frameworks 5