Add rules for tools we need on our CI

YosysHQ · Jun 8, 2022 · 470aebc · 470aebc
1 parent a0d7704
commit 470aebc
Showing 1 changed file with 26 additions and 0 deletions.
diff --git a/default/rules/default.py b/default/rules/default.py
@@ -55,6 +55,7 @@
     top_package = True,
     dependencies = [
         'yosys',
+        'aiger',
         'avy',
         'bitwuzla',
         'boolector',
@@ -73,3 +74,28 @@
     readme = 'README',
     resources = [ 'system-resources' ],
 )
+
+Target(
+    name = 'yosyshq-ci',
+    release_name = 'oss-cad-suite-ci',
+    top_package = True,
+    dependencies = [
+        'aiger',
+        'avy',
+        'bitwuzla',
+        'boolector',
+        'cvc4',
+        'cvc5',
+        'yices',
+        'suprove',
+        'pono',
+        'z3',
+        'mcy',
+        'sby',
+        'gtkwave',
+        'iverilog',
+    ],
+    branding ='OSS CAD Suite',
+    readme = 'README',
+    resources = [ 'system-resources' ],
+)