Copy include files

2 files changed, 5 insertions, 1 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 817bcb859ec9..97c360b93045 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,5 +1,5 @@
 # Generated by mksrcinfo v8
-# Sun Nov 20 05:16:16 UTC 2016
+# Sun Nov 20 05:19:29 UTC 2016
 pkgbase = z3-bin
 	pkgdesc = An automatic theorem prover
 	pkgver = 4.5.0
diff --git a/PKGBUILD b/PKGBUILD
index 77632cf4ee8f..652542634e85 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -30,6 +30,10 @@ package() {
   # license
   install -m644 -D LICENSE.txt "$pkgdir"/usr/share/licenses/$pkgname/LICENSE
 
+  # headers
+  mkdir "$pkgdir"/usr/include
+  install -m644 -D ./include/*.h "$pkgdir"/usr/include/
+
   # python bindings
   # /usr/lib/python3.5/site-packages
   pypath=$(python -c "from distutils.sysconfig import get_python_lib; print(get_python_lib())")