From 78b4f313bfbe57c333e9fbb454d9567161d3921b Mon Sep 17 00:00:00 2001
From: Florent Kermarrec <florent@enjoy-digital.fr>
Date: Sat, 21 Mar 2015 18:28:09 +0100
Subject: [PATCH] mibuild/platforms/minispartan6: add device parameter (board
 can be populated with lx9 or lx25)

---
 mibuild/platforms/minispartan6.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/mibuild/platforms/minispartan6.py b/mibuild/platforms/minispartan6.py
index 7ef468ac0..17bbe4492 100644
--- a/mibuild/platforms/minispartan6.py
+++ b/mibuild/platforms/minispartan6.py
@@ -99,8 +99,8 @@ _connectors = [
 class Platform(XilinxISEPlatform):
 	default_clk_name = "clk50"
 	default_clk_period = 20
-	def __init__(self):
-		XilinxISEPlatform.__init__(self, "xc6slx9-3-ftg256", _io,
+	def __init__(self, device="xc6slx9"):
+		XilinxISEPlatform.__init__(self, device+"-3-ftg256", _io,
 			lambda p: SimpleCRG(p, "clk50", None), _connectors)
 
 	def create_programmer(self):