diff options
| -rw-r--r-- | repos/extra/ninja/.checksum | 1 | ||||
| -rw-r--r-- | repos/extra/ninja/.files | 3 | ||||
| -rw-r--r-- | repos/extra/ninja/abuild | 16 | ||||
| -rw-r--r-- | repos/extra/ninja/depends | 1 |
4 files changed, 0 insertions, 21 deletions
diff --git a/repos/extra/ninja/.checksum b/repos/extra/ninja/.checksum deleted file mode 100644 index 162805f2..00000000 --- a/repos/extra/ninja/.checksum +++ /dev/null @@ -1 +0,0 @@ -adb66157705a79d6a45c8a359cc3ab4f580dfb7c772d650b389b461430e74c5a ninja-1.13.0.tar.gz diff --git a/repos/extra/ninja/.files b/repos/extra/ninja/.files deleted file mode 100644 index 57b8f512..00000000 --- a/repos/extra/ninja/.files +++ /dev/null @@ -1,3 +0,0 @@ -drwxr-xr-x root/root usr/ -drwxr-xr-x root/root usr/bin/ --rwxr-xr-x root/root usr/bin/ninja diff --git a/repos/extra/ninja/abuild b/repos/extra/ninja/abuild deleted file mode 100644 index d5b0febf..00000000 --- a/repos/extra/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 -} diff --git a/repos/extra/ninja/depends b/repos/extra/ninja/depends deleted file mode 100644 index fdc793e7..00000000 --- a/repos/extra/ninja/depends +++ /dev/null @@ -1 +0,0 @@ -python |