[ change ] Replace WASM git submodules with cabal source-repository-package

Author: banacorn

.github/workflows/wasm.yaml

@@ -21,7 +21,6 @@ jobs:
     - uses: actions/checkout@v4
       with:
         path: als
-        submodules: recursive
 
     - name: Compute cache key
       run: echo "CI_CACHE_KEY=${{ runner.os }}-${{ runner.arch }}-${{ env.GHC_WASM_META_COMMIT_HASH }}-flavor-${{ env.GHC_WASM_META_FLAVOUR }}" >> "$GITHUB_ENV"
@@ -80,10 +79,17 @@ jobs:
         echo ">>> Install alex and happy"
         ~/.ghc-wasm/cabal/bin/cabal install alex-3.5.0.0 happy-1.20.1.1
 
-    - name: Cabal configure
+    - name: Setup and configure
       working-directory: './als'
       run: |
         mv cabal.project.wasm32 cabal.project
+        # Download sources first
+        wasm32-wasi-cabal build --dry-run
+        # Setup network package autotools
+        cd dist-newstyle/src/network-*/
+        autoreconf -i
+        cd ../../..
+        # Now configure
         wasm32-wasi-cabal configure --flag=Agda-2-7-0-1
 
     - name: 'Build dep: lsp-types'
@@ -106,12 +112,9 @@ jobs:
         path: als/dist-newstyle
         key: dist-newstyle-${{ env.CI_CACHE_KEY }}-${{ hashFiles('als/dist-newstyle/**') }}
 
-    - name: Build every dependency else
+    - name: Build dependencies
       working-directory: './als'
       run: |
-        cd wasm-submodules/network
-        autoreconf -i
-        cd ../..
         wasm32-wasi-cabal build --dependencies-only
 
     - name: Build als

.gitignore

@@ -19,6 +19,7 @@ node_modules/
 *.hp
 *.eventlog
 cabal.sandbox.config
+cabal.project
 cabal.project.local
 *~
 

BUILDING_WASM.md

@@ -1,8 +1,9 @@
 # How to build for WASM
 
 1. Setup a working ghc (tested with v9.10) with WASM backend and wasm32-wasi-cabal.
-2. `cd` into `wasm-submodules/network` and run `autoreconf -i`.
-3. In the project root, run `cp cabal.project{.wasm32,}`, and then `wasm32-wasi-cabal build`.
+2. In the project root, run `cp cabal.project{.wasm32,}`, and then `wasm32-wasi-cabal build`.
+
+Note: This project uses cabal's built-in git dependency handling instead of git submodules. The network package requires autotools (`autoreconf -i`) which is handled automatically in CI, but for local builds you may need to run it manually if the build fails.
 
 The process might output the following:
 

cabal.project.wasm32

@@ -1,10 +1,31 @@
-packages:
-  .
-  wasm-submodules/agda
-  wasm-submodules/foundation/basement
-  wasm-submodules/network
-  wasm-submodules/network-simple-0.4.2
-  wasm-submodules/lsp/lsp-types
+packages: .
+
+source-repository-package
+  type: git
+  location: https://github.com/agda-web/agda.git
+  tag: 87cac9ce17932321dc1a0fdaed83436de22fa0aa
+
+source-repository-package
+  type: git  
+  location: https://github.com/haskell-wasm/foundation.git
+  tag: 8e6dd48527fb429c1922083a5030ef88e3d58dd3
+  subdir: basement
+
+source-repository-package
+  type: git
+  location: https://github.com/haskell-wasm/network.git
+  tag: ca0a569a083adc95fb0479168692a08e978d2599
+
+source-repository-package
+  type: git
+  location: https://github.com/agda-web/lsp.git
+  tag: 9baf76e6d9965a3b6e8b3ecfcdf33c62b5628fd8
+  subdir: lsp-types
+
+source-repository-package
+  type: git
+  location: https://github.com/k0001/network-simple.git
+  tag: 2c3ab6e7aa2a86be692c55bf6081161d83d50c34
 
 package Agda
   flags: +optimise-heavily