From: Miodrag Milanovic <mmicko@gmail.com>
Date: Sun, 29 Sep 2019 13:40:37 +0000 (+0200)
Subject: Fix reading aig files on windows
X-Git-Tag: working-ls180~1031^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=9e55b234b47b01dc396e793b7f31236c9e87c185;p=yosys.git

Fix reading aig files on windows
---

diff --git a/frontends/aiger/aigerparse.cc b/frontends/aiger/aigerparse.cc
index b0a04749c..ad35e9d76 100644
--- a/frontends/aiger/aigerparse.cc
+++ b/frontends/aiger/aigerparse.cc
@@ -285,6 +285,8 @@ end_of_header:
 		}
 		else if (c == 'c') {
 			f.ignore(1);
+			if (f.peek() == '\r')
+				f.ignore(1);
 			if (f.peek() == '\n')
 				break;
 			// Else constraint (TODO)
@@ -1062,7 +1064,9 @@ struct AigerFrontend : public Frontend {
 #ifdef _WIN32
 			char fname[_MAX_FNAME];
 			_splitpath(filename.c_str(), NULL /* drive */, NULL /* dir */, fname, NULL /* ext */);
-			module_name = fname;
+			char* bn = strdup(fname);
+			module_name = RTLIL::escape_id(bn);
+			free(bn);
 #else
 			char* bn = strdup(filename.c_str());
 			module_name = RTLIL::escape_id(bn);