Another solution for OSX is to make a sparse bundle that is case insensitive (so that Time.h and time.h are seen as different) and put all the source files in there. That is what I did to build the firmware on OSX using the makeEspArduino makefile.
I’ve tried compiling the firmware using these directions (on OS X and ubuntu), but it always fails on compiling server.cpp complaining that ‘class UpdaterClass’ has no member named ‘reset’. Any suggestions for getting this part to compile? Thanks!