Set correct data types for board_device_index and speed

olofk · Sep 22, 2022 · 8dbae8c · 8dbae8c
1 parent 00ea427
commit 8dbae8c
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/edalize/ise.py b/edalize/ise.py
@@ -86,12 +86,12 @@ def get_doc(cls, api_ver):
                     },
                     {
                         "name": "speed",
-                        "type": "String",
+                        "type": "Integer",
                         "desc": "FPGA speed grade (e.g. -2)",
                     },
                     {
                         "name": "board_device_index",
-                        "type": "String",
+                        "type": "Integer",
                         "desc": "Specifies the FPGA's device number in the JTAG chain, starting at 1",
                     },
                 ],

diff --git a/edalize/quartus.py b/edalize/quartus.py
@@ -49,7 +49,7 @@ def get_doc(cls, api_ver):
                     },
                     {
                         "name": "board_device_index",
-                        "type": "String",
+                        "type": "Integer",
                         "desc": "Specifies the FPGA's device number in the JTAG chain. The device index specifies the device where the flash programmer looks for the Nios® II JTAG debug module. JTAG devices are numbered relative to the JTAG chain, starting at 1. Use the tool `jtagconfig` to determine the index.",
                     },
                     {