From 424d426a0e4f346c4dc3911b8cc18b69421b7cb5 Mon Sep 17 00:00:00 2001 From: Matthieu Gautier Date: Mon, 20 Mar 2023 19:32:41 +0100 Subject: [PATCH] Correctly package wasm archives. With commit 6181d7bb, we have changed where archives are written. We must addapt our packaging script. Fix #556 --- .github/scripts/common.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/scripts/common.py b/.github/scripts/common.py index 0245a0e..de84d13 100644 --- a/.github/scripts/common.py +++ b/.github/scripts/common.py @@ -94,7 +94,7 @@ EXPORT_FILES = { INSTALL_DIR, ( # We need to package all dependencies (`*.a`) on wasm - "lib/*/libzim.a" if PLATFORM_TARGET != "wasm" else "lib/*/*.a", + "lib/*/libzim.a" if PLATFORM_TARGET != "wasm" else "lib/*.a", "lib/*/libzim.so", "lib/*/libzim.so.{version}".format( version=main_project_versions["libzim"]