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"]