summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorAaron McDaniel2018-06-20 14:41:53 -0500
committerAaron McDaniel2018-06-20 14:41:53 -0500
commit58f40a4cfb722480d02e03f8fd140fbb3d9b3e2b (patch)
tree3d0b9d472bcf23df8ab47e57c583192b30feaac2
parent94a3ab481bed545d80087c5cdc23b6983a246b44 (diff)
downloadaur-58f40a4cfb722480d02e03f8fd140fbb3d9b3e2b.tar.gz
Added missing header files
-rw-r--r--PKGBUILD3
1 files changed, 3 insertions, 0 deletions
diff --git a/PKGBUILD b/PKGBUILD
index b3f610454c7..b1643033a87 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/
}