diff options
| author | emmett1 <emmett1.2miligrams@protonmail.com> | 2024-06-13 00:25:03 +0800 |
|---|---|---|
| committer | emmett1 <emmett1.2miligrams@protonmail.com> | 2024-06-13 00:25:03 +0800 |
| commit | 239ced844ea434e623686094af3de168f90e4391 (patch) | |
| tree | 541d2c575f3b3832ca1a3087bde3f65dc74a8f89 /repos/extra/ninja | |
| parent | 3f80bb67166389b3acabf8f024ee1ad1a4364c1f (diff) | |
| download | alicelinux-239ced844ea434e623686094af3de168f90e4391.tar.gz alicelinux-239ced844ea434e623686094af3de168f90e4391.zip | |
repos updated
Diffstat (limited to 'repos/extra/ninja')
| -rw-r--r-- | repos/extra/ninja/abuild | 16 | ||||
| -rw-r--r-- | repos/extra/ninja/build | 9 | ||||
| -rw-r--r-- | repos/extra/ninja/info | 4 |
3 files changed, 16 insertions, 13 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 +} diff --git a/repos/extra/ninja/build b/repos/extra/ninja/build deleted file mode 100644 index 0eba37e0..00000000 --- a/repos/extra/ninja/build +++ /dev/null @@ -1,9 +0,0 @@ -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 diff --git a/repos/extra/ninja/info b/repos/extra/ninja/info deleted file mode 100644 index 0122bc57..00000000 --- a/repos/extra/ninja/info +++ /dev/null @@ -1,4 +0,0 @@ -name=ninja -version=1.12.1 -release=1 -source="https://github.com/$name-build/$name/archive/v$version/$name-$version.tar.gz" |