Don't stop if a variant can't be synthesized (#14)

Author: floitsch

.github/workflows/build.yml

@@ -139,6 +139,7 @@ jobs:
       - name: Synthesize the variants
         run: |
           build/envelope-tool synthesize \
+            --ignore-errors \
             --toit-root=toit \
             --output-root=synthesized \
             --sdk-path=build/host/sdk \
@@ -158,6 +159,11 @@ jobs:
           ccache -s
           for variant in $VARIANTS; do
             mkdir -p build/$variant
+            if [ -e synthesized/$variant/failed ]; then
+              echo "Skipping $variant to due failed synthesis."
+              touch build/$variant/failed
+              continue
+            fi
             (cd synthesized/$variant && make) || touch build/$variant/failed
           done
           ccache -s

tools/main.toit

@@ -62,6 +62,8 @@ main args:
         cli.Option "variants-root"
             --short_help="The root directory of the variants."
             --required,
+        cli.Flag "ignore-errors"
+            --short_help="Ignore errors when synthesizing variants.",
       ]
       --rest=[
           cli.Option "variant"
@@ -121,14 +123,24 @@ variant_synthesize parsed/cli.Parsed --ui/cli.Ui:
   sdk_path := parsed["sdk-path"]
   variants_root := parsed["variants-root"]
   variants := parsed["variant"]
+  ignore_errors := parsed["ignore-errors"]
+
+  variants.do: | variant/string |
+    exception := catch:
+      variant_synthesize
+          --variant_path="$variants_root/$variant"
+          --toit_root=toit_root
+          --output="$output_root/$variant"
+          --build_path="$build_root/$variant"
+          --sdk_path=sdk_path
+          --ui=ui
+    if exception:
+      ui.print "Failed to synthesize variant '$variant': $exception."
+      if not ignore_errors: ui.abort
+      catch:
+        directory.mkdir --recursive "$output_root/$variant"
+        file.write-content --path="$output_root/$variant/failed" "$exception"
 
-  variants.do: variant_synthesize
-      --variant_path="$variants_root/$it"
-      --toit_root=toit_root
-      --output="$output_root/$it"
-      --build_path="$build_root/$it"
-      --sdk_path=sdk_path
-      --ui=ui
 
 variant_synthesize
     --variant_path/string