diff options
| author | Adam Coldrick <adam.coldrick@codethink.co.uk> | 2014-04-14 12:22:53 +0000 |
|---|---|---|
| committer | Adam Coldrick <adam.coldrick@codethink.co.uk> | 2014-04-14 12:22:53 +0000 |
| commit | 0ce6de7adbd5fe6b268e1b8a1422cdfeb7cdebf5 (patch) | |
| tree | da8498e1eab2464b06117337cb0b7c87322e6ed1 /chunks/wayland-armv7-versatile-linux-api-headers.morph | |
| parent | 10dda889872542b8f261555c139791ff34eec9b1 (diff) | |
| download | definitions-0ce6de7adbd5fe6b268e1b8a1422cdfeb7cdebf5.tar.gz | |
Add chunk morphologies to definitions repositorybaserock/adamcoldrick/chunks-in-definitions-by-kind
Diffstat (limited to 'chunks/wayland-armv7-versatile-linux-api-headers.morph')
| -rw-r--r-- | chunks/wayland-armv7-versatile-linux-api-headers.morph | 11 |
1 files changed, 11 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..7ced6c32 --- /dev/null +++ b/chunks/wayland-armv7-versatile-linux-api-headers.morph @@ -0,0 +1,11 @@ +name: linux-api-headers +kind: chunk +repo: upstream:linux +ref: 316df4c3eb667636eadf4b663f4087f1f9cc3cfe +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" |