Strata-Python/lakefile.toml at main · strata-org/Strata-Python · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
name = "StrataPython"
version = "0.1.0"
defaultTargets = ["StrataPython"]
testDriver = "StrataTestMain"

[[require]]
name = "Strata"
git = "https://github.com/strata-org/Strata.git"
rev = "main"

[[input_file]]
name = "PythonDialectIon"
path = "Tools/strata-python/dialects/Python.dialect.st.ion"
text = true

[[lean_lib]]
name = "StrataPython"
extraDepTargets = ["PythonDialectIon"]

[[lean_lib]]
name = "StrataPythonTest"
globs = ["StrataPythonTest.+"]

[[lean_lib]]
name = "StrataPythonTestExtra"
globs = ["StrataPythonTestExtra.+"]

[[lean_exe]]
name = "StrataTestMain"
needs = ["StrataPython", "StrataPythonTest"]

[[lean_exe]]
name = "DiffTestCore"
needs = ["StrataPython"]

[[lean_exe]]
name = "pyAnalyzeLaurel"
root = "Scripts.pyAnalyzeLaurel"
needs = ["StrataPython"]

[[lean_exe]]
name = "pyAnalyzeToGoto"
root = "Scripts.pyAnalyzeToGoto"
needs = ["StrataPython"]

[[lean_exe]]
name = "pyTranslateLaurel"
root = "Scripts.pyTranslateLaurel"
needs = ["StrataPython"]

[[lean_exe]]
name = "pyAnalyzeLaurelToGoto"
root = "Scripts.pyAnalyzeLaurelToGoto"
needs = ["StrataPython"]

[[lean_exe]]
name = "pySpecToLaurel"
root = "Scripts.pySpecToLaurel"
needs = ["StrataPython"]

[[lean_exe]]
name = "pyResolveOverloads"
root = "Scripts.pyResolveOverloads"
needs = ["StrataPython"]

[[lean_exe]]
name = "pyInterpret"
root = "Scripts.pyInterpret"
needs = ["StrataPython"]

[[lean_exe]]
name = "pySpecs"
root = "Scripts.pySpecs"
needs = ["StrataPython"]