diff options
| author | Javier Jardón <jjardon@gnome.org> | 2014-10-15 16:16:24 +0000 |
|---|---|---|
| committer | Javier Jardón <jjardon@gnome.org> | 2014-11-11 22:47:58 +0000 |
| commit | a7aea3c4d98472721d05d4cae9f453a410062cbf (patch) | |
| tree | aa3ac3c5c682d11e12cff3e9e998c96b676fca33 /strata/coreutils-common/patch.morph | |
| parent | 312e07068a496879e867eabf7ad11041b7779f80 (diff) | |
| download | definitions-a7aea3c4d98472721d05d4cae9f453a410062cbf.tar.gz | |
Move coreutils to its own stratum
Diffstat (limited to 'strata/coreutils-common/patch.morph')
| -rw-r--r-- | strata/coreutils-common/patch.morph | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/strata/coreutils-common/patch.morph b/strata/coreutils-common/patch.morph new file mode 100644 index 00000000..65e07e67 --- /dev/null +++ b/strata/coreutils-common/patch.morph @@ -0,0 +1,9 @@ +name: patch +kind: chunk +configure-commands: +- bash bootstrap --skip-po +- ./configure --prefix=/usr --bindir=/bin --libexecdir=/usr/sbin --disable-nls +build-commands: +- make +install-commands: +- make DESTDIR="$DESTDIR" install |