diff options
author | Adam Coldrick <adam.coldrick@codethink.co.uk> | 2014-04-14 16:02:36 +0000 |
---|---|---|
committer | Adam Coldrick <adam.coldrick@codethink.co.uk> | 2014-04-14 16:13:23 +0000 |
commit | aa85df216ef454a47f2d6d027fcec2400d1083e3 (patch) | |
tree | eb238277d6e9f1c7be5d99043d507d9c0e5961ff /chunks/wayland-armv7-versatile-linux-api-headers.morph | |
parent | 519294adf840fd3981a9aafc7744d3fe66301c68 (diff) | |
download | definitions-aa85df216ef454a47f2d6d027fcec2400d1083e3.tar.gz |
Add chunk morphologies to the definitions repository
Diffstat (limited to 'chunks/wayland-armv7-versatile-linux-api-headers.morph')
-rw-r--r-- | chunks/wayland-armv7-versatile-linux-api-headers.morph | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/chunks/wayland-armv7-versatile-linux-api-headers.morph b/chunks/wayland-armv7-versatile-linux-api-headers.morph new file mode 100644 index 00000000..56da68b0 --- /dev/null +++ b/chunks/wayland-armv7-versatile-linux-api-headers.morph @@ -0,0 +1,12 @@ +name: linux-api-headers +kind: chunk +repo: upstream:linux +ref: 316df4c3eb667636eadf4b663f4087f1f9cc3cfe +unpetrify-ref: baserock/morph +build-commands: +- make mrproper +- make headers_check +install-commands: +- make INSTALL_HDR_PATH=dest headers_install +- install -d "$DESTDIR${PREFIX-/usr}/include" +- cp -r dest/include/* "$DESTDIR/${PREFIX-/usr}/include" |