diff options
| author | Javier Jardón <jjardon@gnome.org> | 2014-08-28 01:22:10 +0100 |
|---|---|---|
| committer | Richard Maw <richard.maw@codethink.co.uk> | 2014-08-28 11:46:22 +0100 |
| commit | fa35f9272d937f67f73632d7b4b97491c93bd035 (patch) | |
| tree | 7a9df0fd9a651d7e009de1448269c04eb0e050ad /strata/wayland-generic/linux-api-headers.morph | |
| parent | 529cf76e1a276e6324ffa38eef71dcf7d700ad12 (diff) | |
| download | definitions-fa35f9272d937f67f73632d7b4b97491c93bd035.tar.gz | |
Build only one wayland independent of the architecture
This makes gtk (and everything that is on top) independent of the
architecture we are building.
Diffstat (limited to 'strata/wayland-generic/linux-api-headers.morph')
| -rw-r--r-- | strata/wayland-generic/linux-api-headers.morph | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/strata/wayland-generic/linux-api-headers.morph b/strata/wayland-generic/linux-api-headers.morph new file mode 100644 index 00000000..595138fe --- /dev/null +++ b/strata/wayland-generic/linux-api-headers.morph @@ -0,0 +1,9 @@ +name: linux-api-headers +kind: chunk +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" |