diff --git a/kernel/gzip.cc b/kernel/gzip.cc index 0da53ff68..71a498bb0 100644 --- a/kernel/gzip.cc +++ b/kernel/gzip.cc @@ -2,11 +2,17 @@ #include "kernel/log.h" #include "kernel/gzip.h" #include -#include #include #include #include +#if !defined(WIN32) +#include +#include +#else +#include +#endif + YOSYS_NAMESPACE_BEGIN diff --git a/kernel/gzip.h b/kernel/gzip.h index 0201d2340..57eac73c8 100644 --- a/kernel/gzip.h +++ b/kernel/gzip.h @@ -1,5 +1,4 @@ #include -#include #include "kernel/yosys_common.h" #ifndef YOSYS_GZIP_H diff --git a/kernel/io.cc b/kernel/io.cc index 0fdbd3c37..7bb29499d 100644 --- a/kernel/io.cc +++ b/kernel/io.cc @@ -1,9 +1,15 @@ #include "kernel/yosys_common.h" #include "kernel/log.h" #include -#include #include +#if !defined(WIN32) +#include +#include +#else +#include +#endif + YOSYS_NAMESPACE_BEGIN // Set of utilities for handling files