From df89ce46eebb355acf353600b148de52641f060c Mon Sep 17 00:00:00 2001
From: Thomas Schmucker <ts@its1.de>
Date: Sat, 14 Dec 2024 14:28:00 +0100
Subject: aoc 2024, day 13, lösung mit z3
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 makefile | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'makefile')

diff --git a/makefile b/makefile
index 8d9d8bc..928c1bb 100644
--- a/makefile
+++ b/makefile
@@ -35,6 +35,9 @@ all: $(patsubst 2015/src/%.cpp,2015/bin/%,$(wildcard 2015/src/*.cpp)) \
 2024/bin/%: 2024/src/%.cpp | 2024/bin
 	c++ $(CPPFLAGS) $^ -o $@
 
+2024/bin/day13-z3: 2024/src/day13-z3.cpp | 2024/bin
+	c++ $(CPPFLAGS) $^ -L/usr/local/lib -lz3 -o $@
+
 clean:
 	rm -rf 2015/bin 2020/bin 2022/bin 2023/bin 2024/bin
 
-- 
cgit v1.3