diff options
Diffstat (limited to 'repos/extra/ninja/abuild')
| -rw-r--r-- | repos/extra/ninja/abuild | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/repos/extra/ninja/abuild b/repos/extra/ninja/abuild new file mode 100644 index 00000000..bd38c3b8 --- /dev/null +++ b/repos/extra/ninja/abuild @@ -0,0 +1,16 @@ +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 +} |