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