[webkit-dev] Platform.h vs. makefiles

2020-05-10 Thread Darin Adler
Hi folks. The Platform.h configuration file family has been useful for WebKit for a long time. We created it to try to organize configuration options in WebKit so the would not be spread out through the whole project. One way to look at these, particularly the ENABLE options, is as a set of

Re: [webkit-dev] Platform.h vs. makefiles

2020-05-10 Thread Maciej Stachowiak
I think the best way to configure WebKit is to use a separate data file, neither a header nor a makefile or similar, that defines the options in a single place with clear syntax. Then everything else is generated from that. Such a system could cover runtime flags as well, which are even more