From 4c08aa4099d788d253d69785db7e7518b18cff30 Mon Sep 17 00:00:00 2001
From: Aaron Tomb <aarotomb@amazon.com>
Date: Wed, 26 Aug 2026 13:31:38 -0700
Subject: [PATCH] Fix tests by adding `pyAnalyzeV2` to lakefile.toml

Also:
* Make warnings errors
* Clarify that `Python/strata-python/dialects/Python.dialect.st.ion` is
  not a text file.
* Include an executable target for `StrataMain.lean`
---
 lakefile.toml | 14 +++++++++++++-
 1 file changed, 13 insertions(+), 1 deletion(-)

diff --git a/lakefile.toml b/lakefile.toml
index 6509741..af8756c 100644
--- a/lakefile.toml
+++ b/lakefile.toml
@@ -3,6 +3,9 @@ version = "0.1.0"
 defaultTargets = ["StrataPython"]
 testDriver = "StrataPythonFrontEndTestMain"
 
+[leanOptions]
+warningAsError = true
+
 [[require]]
 name = "Strata"
 git = "https://github.com/strata-org/Strata.git"
@@ -11,7 +14,6 @@ rev = "main"
 [[input_file]]
 name = "PythonDialectIon"
 path = "Python/strata-python/dialects/Python.dialect.st.ion"
-text = true
 
 [[lean_lib]]
 name = "StrataPython"
@@ -34,6 +36,11 @@ name = "pyAnalyzeLaurel"
 root = "Scripts.pyAnalyzeLaurel"
 needs = ["StrataPython"]
 
+[[lean_exe]]
+name = "pyAnalyzeV2"
+root = "Scripts.pyAnalyzeV2"
+needs = ["StrataPython"]
+
 [[lean_exe]]
 name = "pyAnalyzeToGoto"
 root = "Scripts.pyAnalyzeToGoto"
@@ -68,3 +75,8 @@ needs = ["StrataPython"]
 name = "pySpecs"
 root = "Scripts.pySpecs"
 needs = ["StrataPython"]
+
+[[lean_exe]]
+name = "strata"
+root = "StrataMain"
+needs = ["StrataPython"]