graphiti/lakefile.toml at main · VCA-EPFL/graphiti · 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
name = "graphiti"
defaultTargets = ["Graphiti"]
testDriver = "GraphitiTest"

[leanOptions]
autoImplicit = false
linter.all = false
linter.unusedSimpArgs = false
grind.warning = false
weak.linter.refine = false
weak.linter.haveLet = 0
weak.linter.oldObtain = false
weak.linter.hashCommand = false
weak.linter.docPrime = false
weak.linter.style.cdot = false
weak.linter.style.dollarSyntax = false
weak.linter.style.lambdaSyntax = false
weak.aesop.warn.applyIff = false
backward.isDefEq.respectTransparency = false

[[require]]
name = "mathlib"
git = "https://github.com/leanprover-community/mathlib4"
rev = "v4.29.0-rc3"

[[lean_lib]]
name = "Graphiti"

[[lean_exe]]
name = "graphiti"
root = "Dataflow"

[[lean_lib]]
name = "GraphitiCore"
globs = ["Graphiti.Core.+"]

[[lean_lib]]
name = "GraphitiProjects"
globs = ["Graphiti.Projects.+"]

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