From 718f5b81f040fd38171f9691bdd8dd675a40d872 Mon Sep 17 00:00:00 2001
From: Eddie Hung <eddieh@ece.ubc.ca>
Date: Mon, 20 Aug 2018 19:19:45 -0700
Subject: [PATCH] Escape colons in config names

---
 xc7/xdl.cc | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/xc7/xdl.cc b/xc7/xdl.cc
index 99345174..3cbd8164 100644
--- a/xc7/xdl.cc
+++ b/xc7/xdl.cc
@@ -125,10 +125,13 @@ void write_xdl(const Context *ctx, std::ostream &out)
             }
 
             auto O = get_net_or_empty(cell.second.get(), id_O);
+            std::string lut_name;
             if (O)
-                instPtr->setConfig(setting, O->name.str(ctx), value);
+                lut_name = O->name.str(ctx);
             else
-                instPtr->setConfig(setting, cell.second->name.str(ctx), value);
+                lut_name = cell.second->name.str(ctx);
+            boost::replace_all(lut_name, ":", "\\:");
+            instPtr->setConfig(setting, lut_name, value);
 
             auto OQ = get_net_or_empty(cell.second.get(), id_OQ);
             if (OQ) {