summaryrefslogtreecommitdiff
path: root/passes/cmds/cover.cc
diff options
context:
space:
mode:
authorWilliam Speirs <bill.speirs@gmail.com>2014-10-16 12:06:54 -0400
committerClifford Wolf <clifford@clifford.at>2014-10-17 11:41:36 +0200
commit31267a1ae8d670c4b8749fc55b07c01d9285a488 (patch)
tree678fb6b416aef122cbb9b9affd5f9c702dc2ce03 /passes/cmds/cover.cc
parentfda52f05f277720e12aadb4716415ec9bff616a5 (diff)
Header changes so it will compile on VS
Diffstat (limited to 'passes/cmds/cover.cc')
-rw-r--r--passes/cmds/cover.cc13
1 files changed, 11 insertions, 2 deletions
diff --git a/passes/cmds/cover.cc b/passes/cmds/cover.cc
index 857d5aa4..b8baaf3d 100644
--- a/passes/cmds/cover.cc
+++ b/passes/cmds/cover.cc
@@ -17,9 +17,18 @@
*
*/
-#include <sys/types.h>
-#include <unistd.h>
#include "kernel/yosys.h"
+#include <sys/types.h>
+
+#ifndef _WIN32
+# include <unistd.h>
+#else
+# include <io.h>
+#endif
+
+#include "kernel/register.h"
+#include "kernel/rtlil.h"
+#include "kernel/log.h"
USING_YOSYS_NAMESPACE
PRIVATE_NAMESPACE_BEGIN