diff options
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" |