From f0b186addfa358e05b9c58a9c7b819e22a56a9c1 Mon Sep 17 00:00:00 2001
From: Miodrag Milanovic <mmicko@gmail.com>
Date: Tue, 9 Jul 2024 11:38:20 +0200
Subject: [PATCH] make formal depend on yosys, so it gets updated when just
 tags do change

---
 default/rules/formal.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/default/rules/formal.py b/default/rules/formal.py
index 64b5d4e..f72d96b 100644
--- a/default/rules/formal.py
+++ b/default/rules/formal.py
@@ -42,7 +42,7 @@
 
 Target(
 	name = 'formal',
-	sources = [ 'mau', 'mcy', 'scy', 'sby', 'sby-gui' ],
+	sources = [ 'mau', 'mcy', 'scy', 'sby', 'sby-gui', 'yosys' ],
 	dependencies = [ 'python3', 'python3-native' ],
 	resources = [ 'python3' ],
 	patches = [ 'python3_package.sh' ],