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-07 11:03:52 +0100 |
| commit | dbbdcdd6475fedaa4ae34b6fcb56101525855e52 (patch) | |
| tree | 855f3056f3f5f96bcfd89f348a653ec2dba284d7 /strata/core/ninja.morph | |
| parent | bfdcfb9c75459c72c3caab08f3075bf8a8e4cf10 (diff) | |
| download | definitions-dbbdcdd6475fedaa4ae34b6fcb56101525855e52.tar.gz | |
core: Add ninja
Diffstat (limited to 'strata/core/ninja.morph')
| -rw-r--r-- | strata/core/ninja.morph | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/strata/core/ninja.morph b/strata/core/ninja.morph new file mode 100644 index 00000000..26da5cae --- /dev/null +++ b/strata/core/ninja.morph @@ -0,0 +1,9 @@ +name: ninja +kind: chunk +build-system: manual +build-commands: +- ./configure.py --bootstrap +install-commands: +- | + mkdir -p "$DESTDIR$PREFIX"/bin + cp ninja "$DESTDIR$PREFIX"/bin |