Index: tools/export.sh
===================================================================
--- tools/export.sh	(revision aace43d8c96f05f67da6df75dd07185547da51cb)
+++ tools/export.sh	(revision b2cbc0b5039c34634b6022ad118306f3983886ef)
@@ -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"