summarylogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--PKGBUILD6
1 files changed, 5 insertions, 1 deletions
diff --git a/PKGBUILD b/PKGBUILD
index f9b91fc66b51..04d5103f3993 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -28,7 +28,11 @@ build() {
cd "${srcdir}/mkl-dnn"
git checkout v0.10
cd scripts && ./prepare_mkl.sh && cd -
- mkdir -p build && cd build && cmake -DCMAKE_INSTALL_PREFIX="${pkgdir}"/usr .. && make mkldnn
+ mkdir -p build && cd build && cmake -DCMAKE_INSTALL_PREFIX="${pkgdir}"/usr .. && make doc mkldnn
+ mkdir -p /usr/include/mkldnn/include/
+ cp -r external/mkl*/include/* /usr/include/mkldnn/include/
+ mkdir -p /usr/lib/mkldnn/lib/
+ cp -r external/mkl*/lib/* /usr/include/mkldnn/lib/
}
#check() {}