-
Notifications
You must be signed in to change notification settings - Fork 0
/
lakefile.lean
64 lines (54 loc) · 832 Bytes
/
lakefile.lean
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
import Lake
open Lake DSL
package Aoc2023 {
-- add package configuration options here
}
lean_lib Aoc2023 {
-- add library configuration options here
}
lean_exe day10 {
root := `Day10.Day10
}
lean_exe day12 {
root := `Day12.Day12
}
lean_exe day14 {
root := `Day14.Day14
}
lean_exe day16 {
root := `Day16.Day16
}
lean_exe day17 {
root := `Day17.Day17
}
lean_exe day18 {
root := `Day18.Day18
}
lean_exe day19 {
root := `Day19.Day19
}
lean_exe day20 {
root := `Day20.Day20
}
lean_exe day21 {
root := `Day21.Day21
}
lean_exe day22 {
root := `Day22.Day22
}
lean_exe day23p1 {
root := `Day23.Day23p1
}
lean_exe day23p2 {
root := `Day23.Day23p2
}
lean_exe day24 {
root := `Day24.Day24
}
lean_exe day25 {
root := `Day25.Day25
}
-- @[default_target]
-- lean_exe «Aoc2023» {
-- root := `Main
-- }