diff options
| author | Javier Jardón <jjardon@gnome.org> | 2017-09-06 20:38:28 +0100 |
|---|---|---|
| committer | Javier Jardón <jjardon@gnome.org> | 2017-09-06 20:38:28 +0100 |
| commit | 750d247afe5c0915da70f9e784948f02c35c0983 (patch) | |
| tree | c313ebf4e7be018bee4943573c57648f7707f94e /strata/core/ninja.morph | |
| parent | c01887e3ec5dc4ba0c77be4dcfc4aeae108a8561 (diff) | |
| download | definitions-jjardon/ninja.tar.gz | |
core: Add ninjajjardon/ninja
Diffstat (limited to 'strata/core/ninja.morph')
| -rw-r--r-- | strata/core/ninja.morph | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/strata/core/ninja.morph b/strata/core/ninja.morph new file mode 100644 index 00000000..c0a7d8ea --- /dev/null +++ b/strata/core/ninja.morph @@ -0,0 +1,7 @@ +name: ninja +kind: chunk +build-system: manual +build-commands: +- ./configure.py --bootstrap +install-commands: +- cp ninja "$DESTDIR$PREFIX"/bin |