Install by path?

Author: andy0130tw

.github/workflows/wasm.yaml

@@ -67,7 +67,7 @@ jobs:
       run: wasm32-wasi-cabal build lib:agda
 
     - name: Install lsp-types & agda
-      run: wasm32-wasi-cabal install --lib lsp-types Agda
+      run: wasm32-wasi-cabal install --lib ./wasm-submodules/lsp/lsp-types ./wasm-submodules/agda
 
     - name: Build every dependency else
       working-directory: './als'