You can also just cd to the WebCore directory and type make. > On Mar 16, 2018, at 3:24 PM, youenn fablet <[email protected]> wrote: > > If you have a full build and made changes to WebCore, you might only need to > recompile WebCore. With make for instance, one can do: > make d -C Source/WebCore > > Y > > On Fri, Mar 16, 2018 at 6:55 AM Danyao Wang <[email protected] > <mailto:[email protected]>> wrote: > Thanks Brian for the Xcode UI tip! So far I've always used build-webkit. I > didn't realize there could be a difference. > > On Thu, Mar 15, 2018 at 6:01 PM, Brian Burg <[email protected] > <mailto:[email protected]>> wrote: > > > > On Mar 15, 2018, at 1:58 PM, Danyao Wang <[email protected] > > <mailto:[email protected]>> wrote: > > > > Hi, > > > > Being new to WebKit development (and also switching from Linux to Mac), I > > find my workflow relatively clumsy. Building on a fresh checkout usually > > takes me 20+ minutes even on my 12-core Mac Pro. Fastest incremental builds > > are ~2 minutes. This adds a lot to the develop / test / debug cycle. > > These build times seem normal. WebKit is a big project, and we don’t use > CMake/ninja by default when building for Cocoa ports. > > Are you building via build-webkit on the command line? In my experience, > incremental builds are faster via Xcode’s UI. > > > I heard the good folks from Igalia working on the GTK port use icecc. Has > > anyone used this on Mac? Any other productivity tips? > > > > Thanks! > > Danyao > > _______________________________________________ > > webkit-dev mailing list > > [email protected] <mailto:[email protected]> > > https://lists.webkit.org/mailman/listinfo/webkit-dev > > <https://lists.webkit.org/mailman/listinfo/webkit-dev> > > > _______________________________________________ > webkit-dev mailing list > [email protected] <mailto:[email protected]> > https://lists.webkit.org/mailman/listinfo/webkit-dev > <https://lists.webkit.org/mailman/listinfo/webkit-dev> > _______________________________________________ > webkit-dev mailing list > [email protected] > https://lists.webkit.org/mailman/listinfo/webkit-dev
_______________________________________________ webkit-dev mailing list [email protected] https://lists.webkit.org/mailman/listinfo/webkit-dev
