From 59b0247d5b392ec4cdea0450b50ecc8736463705 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Steffan=20S=C3=B8lvsten?= <soelvsten@cs.au.dk>
Date: Fri, 9 Feb 2024 10:07:14 +0100
Subject: [PATCH] Make 'run/qbf/zdd' into a runnable target that echos the TODO

---
 makefile | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/makefile b/makefile
index b4e29a24..5daddd6a 100644
--- a/makefile
+++ b/makefile
@@ -297,7 +297,10 @@ run/qbf/bdd: F := "benchmarks/qbf/example_a.qcir"
 run/qbf/bdd:
 	@$(subst VARIANT,$(V),./build/src/VARIANT_qbf_bdd -f $(F) -M $(M) -o $(O) | tee -a out/VARIANT/bdd/qbf.out)
 
-# TODO: run/qbf/zdd
+run/qbf/zdd:
+	@echo "QBF Solver"
+	@echo ""
+	@echo "  Not yet supported (See #78)"
 
 # ============================================================================ #
 #  RUN: Queens