On 02/23/2015 08:06 AM, Lukasz Dorau wrote:
> There is no INSTALL file

There's not supposed to be an INSTALL file in a git checkout. Instead, 
please read README-hacking.  I installed the attached change to README 
to help explain this.