Skip to content

Commit a2d3421

Browse files
authored
accept anything with *.so.* as shared (#90)
* accept anything with *.so.* as shared * Update docs.yml
1 parent ec0ac59 commit a2d3421

File tree

2 files changed

+7
-5
lines changed

2 files changed

+7
-5
lines changed

.github/workflows/docs.yml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -50,7 +50,7 @@ jobs:
5050
# upload to github pages
5151
################################################################
5252
- name: Upload Pages artifact
53-
uses: actions/upload-pages-artifact@v2
53+
uses: actions/upload-pages-artifact@v3
5454
with:
5555
path: docs_build/mkdocs
5656

@@ -78,4 +78,4 @@ jobs:
7878
steps:
7979
- name: Deploy to GitHub Pages
8080
id: deployment
81-
uses: actions/deploy-pages@v3 # or specific "vX.X.X" version tag for this action
81+
uses: actions/deploy-pages@v4 # or specific "vX.X.X" version tag for this action

include/pyjs/pre_js/load_pkg.js

Lines changed: 5 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -44,18 +44,20 @@ def _py_untar(tarball_path, target_dir):
4444
files = tar.getmembers()
4545
shared_libs = []
4646
for file in files:
47-
if file.name.endswith(".so"):
48-
47+
if file.name.endswith(".so") or ".so." in file.name:
4948
if target_dir == "/":
5049
shared_libs.append(f"/{file.name}")
5150
else:
5251
shared_libs.append(f"{target_dir}/{file.name}")
5352
5453
tar.extractall(target_dir)
54+
actual_shared_libs = []
5555
for file in shared_libs:
5656
if not check_wasm_magic_number(Path(file)):
5757
print(f" {file} is not a wasm file")
58-
s = json.dumps(shared_libs)
58+
else:
59+
actual_shared_libs.append(file)
60+
s = json.dumps(actual_shared_libs)
5961
except Exception as e:
6062
print("ERROR",e)
6163
raise e

0 commit comments

Comments
 (0)