From 6526e88d14482d4a29fbd3c316eb7a2f51ab1d8a Mon Sep 17 00:00:00 2001
From: Miodrag Milanovic <mmicko@gmail.com>
Date: Tue, 10 Mar 2026 10:15:27 +0100
Subject: [PATCH] Propagate ABCOPT and SEEDOPT

---
 Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 8a38910d6..b28ee21ac 100644
--- a/Makefile
+++ b/Makefile
@@ -925,7 +925,8 @@ test: vanilla-test unit-test
 vanilla-test: $(TARGETS) $(EXTRA_TARGETS)
 	@$(MAKE) -C tests vanilla-test \
 	$(if $(ENABLE_VERIFIC),ENABLE_VERIFIC=$(ENABLE_VERIFIC)) \
-	$(if $(YOSYS_NOVERIFIC),YOSYS_NOVERIFIC=$(YOSYS_NOVERIFIC))
+	$(if $(YOSYS_NOVERIFIC),YOSYS_NOVERIFIC=$(YOSYS_NOVERIFIC)) \
+	SEEDOPT=$(SEEDOPT) ABCOPT=$(ABCOPT)
 
 VALGRIND ?= valgrind --error-exitcode=1 --leak-check=full --show-reachable=yes --errors-for-leak-kinds=all