summarylogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--PKGBUILD3
1 files changed, 3 insertions, 0 deletions
diff --git a/PKGBUILD b/PKGBUILD
index b3f610454c7b..b1643033a872 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -46,4 +46,7 @@ package() {
cd ${pkgname}
make DESTDIR="$pkgdir/" install
install -DTm644 COPYING "${pkgdir}"/usr/share/licenses/${pkgname}/LICENSE
+
+ # Copy header files into package (not sure why stuff like libvmi/events.h isn't installed by default)
+ cp ${srcdir}/${pkgname}/libvmi/*.h ${pkgdir}/usr/include/libvmi/
}