diff options
| author | Thomas Schmucker <ts@its1.de> | 2024-12-14 14:28:00 +0100 |
|---|---|---|
| committer | Thomas Schmucker <ts@its1.de> | 2024-12-14 14:28:00 +0100 |
| commit | df89ce46eebb355acf353600b148de52641f060c (patch) | |
| tree | 4e1969bccb250df713c4bbfb47e883aa28041b0e /makefile | |
| parent | 5a17843904394e73f5ae7001dd5f22b7491f6bb9 (diff) | |
| download | advent-of-code-df89ce46eebb355acf353600b148de52641f060c.tar.gz advent-of-code-df89ce46eebb355acf353600b148de52641f060c.tar.bz2 advent-of-code-df89ce46eebb355acf353600b148de52641f060c.zip | |
aoc 2024, day 13, lösung mit z3
Diffstat (limited to 'makefile')
| -rw-r--r-- | makefile | 3 |
1 files changed, 3 insertions, 0 deletions
| @@ -35,6 +35,9 @@ all: $(patsubst 2015/src/%.cpp,2015/bin/%,$(wildcard 2015/src/*.cpp)) \ | |||
| 35 | 2024/bin/%: 2024/src/%.cpp | 2024/bin | 35 | 2024/bin/%: 2024/src/%.cpp | 2024/bin |
| 36 | c++ $(CPPFLAGS) $^ -o $@ | 36 | c++ $(CPPFLAGS) $^ -o $@ |
| 37 | 37 | ||
| 38 | 2024/bin/day13-z3: 2024/src/day13-z3.cpp | 2024/bin | ||
| 39 | c++ $(CPPFLAGS) $^ -L/usr/local/lib -lz3 -o $@ | ||
| 40 | |||
| 38 | clean: | 41 | clean: |
| 39 | rm -rf 2015/bin 2020/bin 2022/bin 2023/bin 2024/bin | 42 | rm -rf 2015/bin 2020/bin 2022/bin 2023/bin 2024/bin |
| 40 | 43 | ||