diff options
Diffstat (limited to 'passes/cmds/cover.cc')
| -rw-r--r-- | passes/cmds/cover.cc | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/passes/cmds/cover.cc b/passes/cmds/cover.cc index 857d5aa47..b8baaf3d8 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 |