blob: e9ccab8a1b2b08ecc01eeb7ae7ad75779e3b5248 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
import Lake
open Lake DSL
package «aoc-2023» where
-- add package configuration options here
lean_lib «Day1» where
-- add library configuration options here
lean_lib «Day2» where
lean_lib «Day3» where
lean_lib «Day4» where
lean_lib «Common» where
@[default_target]
lean_exe «aoc-2023» where
root := `Main
-- Enables the use of the Lean interpreter by the executable (e.g.,
-- `runFrontend`) at the expense of increased binary size on Linux.
-- Remove this line if you do not need such functionality.
supportInterpreter := true
|
