HipHop build support files.
authorTim Starling <tstarling@users.mediawiki.org>
Mon, 4 Apr 2011 06:17:46 +0000 (06:17 +0000)
committerTim Starling <tstarling@users.mediawiki.org>
Mon, 4 Apr 2011 06:17:46 +0000 (06:17 +0000)
commit1ab6b47e5ab4fc0fc5729bcdc1ff6f293bbe85b1
treef2cce4394e35ecf5bf8b166907183296e4a76db7
parent1402a56f2ad8ea15e705b0eb5805d9c43ba9e74e
HipHop build support files.
* Added a script called "make" which works around some of the inadequacies in the hphp build system:
** Allow incremental rebuilds. CMake is very smart and can do this with very little prompting, including header dependencies. This cuts down the build time for certain types of small change in the PHP source.
** Use ccache if it is present.
** Use debug mode, don't strip symbols.

* Added a script which runs the compiled program in server mode
* Added a PHP file list which is greatly cut down to reduce build time. Suitable only for initial testing. Current MediaWiki build time is about 36 minutes on my laptop.
maintenance/hiphop/compiler.conf [new file with mode: 0644]
maintenance/hiphop/file-list.small [new file with mode: 0644]
maintenance/hiphop/make [new file with mode: 0755]
maintenance/hiphop/run-server [new file with mode: 0755]
maintenance/hiphop/server.conf [new file with mode: 0644]