Re: [webkit-dev] Mac CMake

2016-03-19 Thread Geoffrey Garen
> Just out of curiosity, is there any chance that Apple Mac WebKit > will be migrated to cmake within the foreseeable future? Based on initial experiments, I'm interested in CMake. We (Alex, really) haven’t had the time to finish the Mac CMake build and/or do a complete head-to-head comparison

Re: [webkit-dev] Proposal: Use #pragma once instead of header guards

2016-03-19 Thread Darin Adler
> On Mar 17, 2016, at 9:35 AM, Konstantin Tokarev wrote: > > Here is a script which apparently can be used to convert whole code base to > new style: > > https://github.com/cgmb/guardonce They sound like they are worth trying. Especially the “checkguard” script. Whoever

Re: [webkit-dev] Proposal: Use #pragma once instead of header guards

2016-03-19 Thread Konstantin Tokarev
10.03.2016, 05:07, "Brent Fulgham" : >>  On Mar 9, 2016, at 5:27 PM, Anders Carlsson wrote: >> >>  I propose that we instead start using >> >>  #pragma once > > +1 Here is a script which apparently can be used to convert whole code base to new style:

Re: [webkit-dev] Mac CMake

2016-03-19 Thread Osztrogonác Csaba
Hi, despite the initial enthusiasm I haven't seen any green build at least a month ago or any intention to add/remove files to the cmake build system. Just out of curiosity, is there any chance that Apple Mac WebKit will be migrated to cmake within the foreseeable future? br, Ossy On

Re: [webkit-dev] *.webkit.org server security patch/updates today

2016-03-19 Thread Lucas Forschler
This work is complete. Please notify me of any illness discovered after the update. Lucas > On Mar 17, 2016, at 10:17 AM, Lucas Forschler wrote: > > I’ll be taking down the webkit.org servers today to > apply security patches. Please let me know if

[webkit-dev] *.webkit.org server security patch/updates today

2016-03-19 Thread Lucas Forschler
I’ll be taking down the webkit.org servers today to apply security patches. Please let me know if something does not come back online as expected. Estimated time offline will only be a few minutes per server. Lucas ___ webkit-dev