(I really don't understand why it was necessary to over-complicate things in this area - we have just one (1) frontend)
We are still officially following GUII so I need to leave rooms for other frontends. The change made two building environments clearly separated: 1. basic env: used to build src/* except for support and qt4. Without all the qt flags and header files, building in this env is faster. 2. frontend_env: is supposed to be frontend dependent. It is used to build support and lyx executables.
I will commit in a minute, because the patch is quite clear.
Thank you very much for the fix. Bo
