make formal depend on yosys, so it gets updated when just tags do change

YosysHQ · Jul 9, 2024 · f0b186a · f0b186a
1 parent 8337f32
commit f0b186a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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' ],