Fix missing directory

pcafrica · Feb 19, 2024 · 8e0b886 · 8e0b886
1 parent 923ab33
commit 8e0b886
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/pkgs/dealii/PKGBUILD b/pkgs/dealii/PKGBUILD
@@ -67,6 +67,7 @@ build() {
 
 package() {
   make -C build install
+  mkdir -p $dstdir/include/deal.II/bundled
 
   reset_rpath "$dstdir/lib"