name=ninja version=1.12.1 release=1 source="https://github.com/$name-build/$name/archive/v$version/$name-$version.tar.gz" build() { sed -i '/int Guess/a \ int j = 0;\ char* jobs = getenv( "NINJAJOBS" );\ if ( jobs != NULL ) j = atoi( jobs );\ if ( j > 0 ) return j;\ ' src/ninja.cc python3 ./configure.py --bootstrap install -Dm755 ninja $PKG/usr/bin/ninja }