automation

mdr · Dec 8, 2024 · a36d20d · a36d20d
1 parent 4060091
commit a36d20d
Show file tree

Hide file tree

Showing 3 changed files with 9 additions and 6 deletions.
diff --git a/Aoc2024/Utils.lean b/Aoc2024/Utils.lean
@@ -250,6 +250,5 @@ def Rectangle.allPoints (r : Rectangle) : List Point := do
   let x <- intRange r.topLeft.x (r.topLeft.x + r.width)
   let y <- intRange r.topLeft.y (r.topLeft.y + r.height)
   return { x := x, y := y }
-
 #guard Rectangle.allPoints { topLeft := Point.origin, width := 2, height := 2 } ==
   [{ x := 0, y := 0 }, { x := 0, y := 1 }, { x := 1, y := 0 }, { x := 1, y := 1 }]
diff --git a/Taskfile.yml b/Taskfile.yml
@@ -13,8 +13,8 @@ tasks:
     desc: Template a day
     cmds:
     - ./make-day.sh {{.CLI_ARGS}}
-    - ./add_day_to_taskfile.py {{.CLI_ARGS}}
-    - ./add_day_to_lakefile.py {{.CLI_ARGS}}
+    - ./add_day_to_taskfile.py Taskfile.yml {{.CLI_ARGS}}
+    - ./add_day_to_lakefile.py lakefile.toml {{.CLI_ARGS}}
   day1:
     desc: Run day 1
     deps:

diff --git a/lakefile.toml b/lakefile.toml
@@ -1,7 +1,6 @@
 name = "aoc2024"
 version = "0.1.0"
-defaultTargets = ["day1", "day2", "day3", "day4", "day5", "day6", "day7", "day8"]
-
+defaultTargets = [ "day1", "day2", "day3", "day4", "day5", "day6", "day7", "day8", "day9",]
 [[lean_lib]]
 name = "Aoc2024"
 
@@ -37,7 +36,12 @@ root = "Aoc2024.Day07.Main"
 name = "day8"
 root = "Aoc2024.Day08.Main"
 
+[[lean_exe]]
+name = "day9"
+root = "Aoc2024.Day09.Main"
+
 [[require]]
 name = "Regex"
 git = "https://github.com/bergmannjg/regex"
-rev = "main"
+rev = "main"
+