github: Create /usr/local directories

remko · Aug 10, 2024 · a7bcb78 · a7bcb78
1 parent 7394af6
commit a7bcb78
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/actions/setup/action.yml b/.github/actions/setup/action.yml
@@ -10,6 +10,7 @@ runs:
   - if: runner.os == 'Linux'
     run: |
       curl -L -s https://github.com/WebAssembly/wabt/releases/download/1.0.33/wabt-1.0.33-ubuntu.tar.gz | tar xvz -C /tmp
+      sudo mkdir -p /usr/local/bin /usr/local/include /usr/local/lib /usr/local/share
       sudo mv /tmp/wabt-1.0.33/bin/* /usr/local/bin
       sudo mv /tmp/wabt-1.0.33/include/* /usr/local/include
       sudo mv /tmp/wabt-1.0.33/lib/*.a /usr/local/lib
@@ -21,6 +22,7 @@ runs:
   - if: runner.os == 'macOS'
     run: |
       curl -L -s https://github.com/WebAssembly/wabt/releases/download/1.0.33/wabt-1.0.33-macos-12.tar.gz | tar xvz -C /tmp
+      sudo mkdir -p /usr/local/bin /usr/local/include /usr/local/lib /usr/local/share
       sudo mv /tmp/wabt-1.0.33/bin/* /usr/local/bin
       sudo mv /tmp/wabt-1.0.33/include/* /usr/local/include
       sudo mv /tmp/wabt-1.0.33/lib/*.a /usr/local/lib