Index: tools/export.sh
===================================================================
--- tools/export.sh	(revision 972c428c0497086b5977a79710fe2e3b5620c7e0)
+++ tools/export.sh	(revision a381b5254aada664800c984d935619c43a771efb)
@@ -67,6 +67,15 @@
 ninja devel-headers
 
+#
+# Meson may produce thin archives. These cannot be simply copied to another
+# location. Copy them using ar instead, converting them to regular,
+# non-thin archives in the process.
+#
 mkdir -p "$EXPORT_DIR/lib"
-cp -t "$EXPORT_DIR/lib" $EXPORT_LIBS
+for lpath in $EXPORT_LIBS; do
+	dest="$EXPORT_DIR/lib/$(basename $lpath)"
+	ar -t $lpath | xargs ar crs $dest
+done
+
 rm -rf "$EXPORT_DIR/include"
 cp -R dist/include "$EXPORT_DIR/include"