diff options
author | Joe Burmeister <joe.burmeister@codethink.co.uk> | 2013-09-13 11:21:42 +0100 |
---|---|---|
committer | Joe Burmeister <joe.burmeister@codethink.co.uk> | 2013-09-13 11:21:42 +0100 |
commit | 7524849182337d79d63a378f249693c767326738 (patch) | |
tree | 5ec53be07ab201cd45a0beff87b6a8bb5a32c830 | |
parent | f566134dcbb94a14660020b2a0913d20818cfe43 (diff) | |
download | libffi-baserock/libffti-dev.tar.gz |
Go back to DIY like Debian. make install-data is just wrongbaserock/libffti-dev
-rw-r--r-- | libffi-dev.morph | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/libffi-dev.morph b/libffi-dev.morph index 60262d3..819ab98 100644 --- a/libffi-dev.morph +++ b/libffi-dev.morph @@ -3,4 +3,6 @@ kind: "chunk" build-system: "autotools" install-commands: - make DESTDIR="$DESTDIR"/ install - - make DESTDIR="$DESTDIR"/ install-data + - mkdir -p "$DESTDIR"/usr/include + - cp "$TARGET"/include/ffi.h "$DESTDIR"/usr/include/ + - cp "$TARGET"/include/ffitarget.h "$DESTDIR"/usr/include/ |