boards/targets/simple: add gateware-toolchain parameter
authorFlorent Kermarrec <florent@enjoy-digital.fr>
Mon, 29 Oct 2018 14:56:46 +0000 (15:56 +0100)
committerFlorent Kermarrec <florent@enjoy-digital.fr>
Mon, 29 Oct 2018 14:56:46 +0000 (15:56 +0100)
litex/boards/targets/simple.py

index ee1a4a7cb7041b22d28d23c22be9cc9044603a70..68f982930f7f5c919026f3115747cf9b8d93eb6e 100755 (executable)
@@ -58,10 +58,15 @@ def main():
                         help="enable Ethernet support")
     parser.add_argument("platform",
                         help="module name of the platform to build for")
+    parser.add_argument("--gateware-toolchain", default=None,
+                        help="FPGA gateware toolchain used for build")
     args = parser.parse_args()
 
     platform_module = importlib.import_module(args.platform)
-    platform = platform_module.Platform()
+    if args.gateware_toolchain is not None:
+        platform = platform_module.Platform(toolchain=args.gateware_toolchain)
+    else:
+        platform = platform_module.Platform()
     cls = EthernetSoC if args.with_ethernet else BaseSoC
     soc = cls(platform, **soc_core_argdict(args))
     builder = Builder(soc, **builder_argdict(args))