Make 'run/qbf/zdd' into a runnable target that echos the TODO

SSoelvsten · Feb 9, 2024 · 59b0247 · 59b0247
1 parent 511df1b
commit 59b0247
Showing 1 changed file with 4 additions and 1 deletion.
diff --git 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