submodule inits, simpler impl

.github/actions/polymorph_codegen/action.yml

@@ -46,6 +46,11 @@ outputs:
 runs:
   using: "composite"
   steps:
+    - name: Install smithy-dafny dependencies locally
+      shell: bash
+      run: |
+        make -C smithy-dafny mvn_local_deploy_polymorph_dependencies
+
     # Replace the project.properties file so that we pick up the right runtimes etc.,
     # in cases where inputs.dafny is different from the current value in that file.
     - name: Update top-level project.properties file

.github/workflows/library_dafny_verification.yml

@@ -45,7 +45,7 @@ jobs:
       # The specification submodule is private so we don't have access, but we don't need
       # it to verify the Dafny code. Instead we manually pull the submodules we DO need.
       - run: git submodule update --init libraries
-      - run: git submodule update --init smithy-dafny
+      - run: git submodule update --init --recursive smithy-dafny
 
       - name: Setup Dafny
         uses: dafny-lang/[email protected]

.github/workflows/library_format.yml

@@ -46,7 +46,7 @@ jobs:
       # The specification submodule is private so we don't have access, but we don't need
       # it to verify the Dafny code. Instead we manually pull the submodule we DO need.
       - run: git submodule update --init libraries
-      - run: git submodule update --init smithy-dafny
+      - run: git submodule update --init recursive smithy-dafny
 
       - name: Setup Dafny
         uses: dafny-lang/[email protected]

.github/workflows/library_interop_tests.yml

@@ -41,7 +41,7 @@ jobs:
       #  Not all submodules are needed.
       # We manually pull the submodule we DO need.
       - run: git submodule update --init libraries
-      - run: git submodule update --init smithy-dafny
+      - run: git submodule update --init recursive smithy-dafny
 
       # Set up runtimes
       - name: Setup .NET Core SDK ${{ matrix.dotnet-version }}
@@ -170,7 +170,7 @@ jobs:
       #  Not all submodules are needed.
       # We manually pull the submodule we DO need.
       - run: git submodule update --init libraries
-      - run: git submodule update --init smithy-dafny
+      - run: git submodule update --init recursive smithy-dafny
 
       # Set up runtimes
       - name: Setup .NET Core SDK ${{ matrix.dotnet-version }}

.github/workflows/library_java_tests.yml

@@ -58,7 +58,7 @@ jobs:
       # The specification submodule is private so we don't have access, but we don't need
       # it to verify the Dafny code. Instead we manually pull the submodules we DO need.
       - run: git submodule update --init libraries
-      - run: git submodule update --init smithy-dafny
+      - run: git submodule update --init recursive smithy-dafny
 
       - name: Setup Dafny
         uses: dafny-lang/[email protected]

.github/workflows/library_net_tests.yml

@@ -56,7 +56,7 @@ jobs:
       # The specification submodule is private so we don't have access, but we don't need
       # it to verify the Dafny code. Instead we manually pull the submodules we DO need.
       - run: git submodule update --init libraries
-      - run: git submodule update --init smithy-dafny
+      - run: git submodule update --init recursive smithy-dafny
 
       - name: Setup .NET Core SDK ${{ matrix.dotnet-version }}
         uses: actions/setup-dotnet@v3

.github/workflows/library_python_tests.yml

@@ -61,7 +61,7 @@ jobs:
       # The specification submodule is private so we don't have access, but we don't need
       # it to verify the Dafny code. Instead we manually pull the submodules we DO need.
       - run: git submodule update --init libraries
-      - run: git submodule update --init smithy-dafny
+      - run: git submodule update --init recursive smithy-dafny
 
       - name: Setup Dafny
         uses: dafny-lang/[email protected]