From 24d7fab85b2eb1b7996fd0ceccdd0377f1ce087b Mon Sep 17 00:00:00 2001 From: Andreas Grois Date: Fri, 1 Dec 2023 23:21:14 +0100 Subject: Day 1 --- lakefile.lean | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 lakefile.lean (limited to 'lakefile.lean') diff --git a/lakefile.lean b/lakefile.lean new file mode 100644 index 0000000..ae16be8 --- /dev/null +++ b/lakefile.lean @@ -0,0 +1,18 @@ +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 «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 -- cgit v1.2.3