HOL-Light: Add support for cross-compilation of target object files

.github/workflows/all.yml

@@ -13,100 +13,99 @@ on:
     types: [ "opened", "synchronize" ]
 
 jobs:
-  base:
-    name: Base
-    permissions:
-      contents: 'read'
-      id-token: 'write'
-    uses: ./.github/workflows/base.yml
-    secrets: inherit
-  lint-markdown:
-    name: Lint Markdown
-    permissions:
-      contents: 'read'
-      id-token: 'write'
-    uses: ./.github/workflows/lint_markdown.yml
-  nix:
-    name: Nix
-    permissions:
-      actions: 'write'
-      contents: 'read'
-      id-token: 'write'
-    uses: ./.github/workflows/nix.yml
-    secrets: inherit
+  # base:
+  #   name: Base
+  #   permissions:
+  #     contents: 'read'
+  #     id-token: 'write'
+  #   uses: ./.github/workflows/base.yml
+  #   secrets: inherit
+  # lint-markdown:
+  #   name: Lint Markdown
+  #   permissions:
+  #     contents: 'read'
+  #     id-token: 'write'
+  #   uses: ./.github/workflows/lint_markdown.yml
+  # nix:
+  #   name: Nix
+  #   permissions:
+  #     actions: 'write'
+  #     contents: 'read'
+  #     id-token: 'write'
+  #   uses: ./.github/workflows/nix.yml
+  #   secrets: inherit
   ci:
     name: Extended
     permissions:
       contents: 'read'
       id-token: 'write'
-    needs: [ base, nix ]
     uses: ./.github/workflows/ci.yml
     secrets: inherit
-  cbmc:
-    name: CBMC
-    permissions:
-      contents: 'read'
-      id-token: 'write'
-    needs: [ base, nix ]
-    uses: ./.github/workflows/cbmc.yml
-    secrets: inherit
-  oqs_integration:
-    name: libOQS
-    permissions:
-      contents: 'read'
-      id-token: 'write'
-    needs: [ base ]
-    uses: ./.github/workflows/integration-liboqs.yml
-    secrets: inherit
-  opentitan_integration:
-    name: OpenTitan
-    permissions:
-      contents: 'read'
-      id-token: 'write'
-    needs: [ base ]
-    uses: ./.github/workflows/integration-opentitan.yml
-    secrets: inherit
-  awslc_integration_fixed:
-    name: AWS-LC (873ca6f2)
-    permissions:
-      contents: 'read'
-      id-token: 'write'
-    needs: [ base ]
-    uses: ./.github/workflows/integration-awslc.yml
-    with:
-      commit: 6d2eb62ba375ebba7ab20ab277332f5bff9e13f0
-    secrets: inherit
-  awslc_integration_head:
-    name: AWS-LC (HEAD)
-    permissions:
-      contents: 'read'
-      id-token: 'write'
-    needs: [ base ]
-    uses: ./.github/workflows/integration-awslc.yml
-    with:
-      commit: main
-    secrets: inherit
-  ct-test:
-    name: Constant-time
-    permissions:
-      contents: 'read'
-      id-token: 'write'
-    needs: [ base, nix ]
-    uses: ./.github/workflows/ct-tests.yml
-    secrets: inherit
-  slothy:
-    name: SLOTHY
-    permissions:
-      contents: 'read'
-      id-token: 'write'
-    needs: [ base, nix ]
-    uses: ./.github/workflows/slothy.yml
-    secrets: inherit
-  baremetal:
-    name: Baremetal
-    permissions:
-      contents: 'read'
-      id-token: 'write'
-    needs: [ base ]
-    uses: ./.github/workflows/baremetal.yml
-    secrets: inherit
+  # cbmc:
+  #   name: CBMC
+  #   permissions:
+  #     contents: 'read'
+  #     id-token: 'write'
+  #   needs: [ base, nix ]
+  #   uses: ./.github/workflows/cbmc.yml
+  #   secrets: inherit
+  # oqs_integration:
+  #   name: libOQS
+  #   permissions:
+  #     contents: 'read'
+  #     id-token: 'write'
+  #   needs: [ base ]
+  #   uses: ./.github/workflows/integration-liboqs.yml
+  #   secrets: inherit
+  # opentitan_integration:
+  #   name: OpenTitan
+  #   permissions:
+  #     contents: 'read'
+  #     id-token: 'write'
+  #   needs: [ base ]
+  #   uses: ./.github/workflows/integration-opentitan.yml
+  #   secrets: inherit
+  # awslc_integration_fixed:
+  #   name: AWS-LC (873ca6f2)
+  #   permissions:
+  #     contents: 'read'
+  #     id-token: 'write'
+  #   needs: [ base ]
+  #   uses: ./.github/workflows/integration-awslc.yml
+  #   with:
+  #     commit: 6d2eb62ba375ebba7ab20ab277332f5bff9e13f0
+  #   secrets: inherit
+  # awslc_integration_head:
+  #   name: AWS-LC (HEAD)
+  #   permissions:
+  #     contents: 'read'
+  #     id-token: 'write'
+  #   needs: [ base ]
+  #   uses: ./.github/workflows/integration-awslc.yml
+  #   with:
+  #     commit: main
+  #   secrets: inherit
+  # ct-test:
+  #   name: Constant-time
+  #   permissions:
+  #     contents: 'read'
+  #     id-token: 'write'
+  #   needs: [ base, nix ]
+  #   uses: ./.github/workflows/ct-tests.yml
+  #   secrets: inherit
+  # slothy:
+  #   name: SLOTHY
+  #   permissions:
+  #     contents: 'read'
+  #     id-token: 'write'
+  #   needs: [ base, nix ]
+  #   uses: ./.github/workflows/slothy.yml
+  #   secrets: inherit
+  # baremetal:
+  #   name: Baremetal
+  #   permissions:
+  #     contents: 'read'
+  #     id-token: 'write'
+  #   needs: [ base ]
+  #   uses: ./.github/workflows/baremetal.yml
+  #   secrets: inherit