aboutsummaryrefslogtreecommitdiffstats
path: root/libs
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 /libs
parentfda52f05f277720e12aadb4716415ec9bff616a5 (diff)
downloadyosys-31267a1ae8d670c4b8749fc55b07c01d9285a488.tar.gz
yosys-31267a1ae8d670c4b8749fc55b07c01d9285a488.tar.bz2
yosys-31267a1ae8d670c4b8749fc55b07c01d9285a488.zip
Header changes so it will compile on VS
Diffstat (limited to 'libs')
-rw-r--r--libs/ezsat/ezminisat.cc5
1 files changed, 4 insertions, 1 deletions
diff --git a/libs/ezsat/ezminisat.cc b/libs/ezsat/ezminisat.cc
index b996d4a3d..dee82a8df 100644
--- a/libs/ezsat/ezminisat.cc
+++ b/libs/ezsat/ezminisat.cc
@@ -27,7 +27,10 @@
#include <stdint.h>
#include <csignal>
#include <cinttypes>
-#include <unistd.h>
+
+#ifndef _WIN32
+# include <unistd.h>
+#endif
#include "../minisat/Solver.h"
#include "../minisat/SimpSolver.h"