From 2107d5f1f1b7dd27040685c0ebdbe2a199ad91d3 Mon Sep 17 00:00:00 2001
From: Kartik Agaram <vc@akkartik.com>
Date: Mon, 28 Dec 2020 12:09:36 -0800
Subject: 7443

A new phase for baremetal compilations. Doesn't work yet, but it passes
all its tests, so we can add it to CI.
---
 test_apps | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

(limited to 'test_apps')

diff --git a/test_apps b/test_apps
index eb376356..1d538fa3 100755
--- a/test_apps
+++ b/test_apps
@@ -234,6 +234,23 @@ do
   }
 done
 
+# One phase variant for translating SubX to baremetal. (Other phases are reused.)
+
+for phase in survey_baremetal
+do
+  echo $phase
+  ./bootstrap_bin translate init.linux [01]*.subx apps/subx-params.subx apps/$phase.subx -o apps/$phase
+  test "$1" = 'record'  ||  git diff --exit-code apps/$phase
+  {
+    ./bootstrap_bin run apps/$phase test
+    echo
+  }
+  {
+    apps/$phase test
+    echo
+  }
+done
+
 # Higher-level syntax.
 
 # Certain phases of translation run native beyond this point. We're starting
-- 
cgit 1.4.1-2-gfad0