summaryrefslogtreecommitdiff
path: root/libs/minisat/System.cc
diff options
context:
space:
mode:
authorSebastian Kuzminsky <seb@highlab.com>2016-05-14 15:44:13 +0200
committerRuben Undheim <ruben.undheim@gmail.com>2018-10-17 18:36:13 +0200
commit512952aa0f55484fc81136170083e2b7abbe9aff (patch)
tree007877b959b70aa682f8e8cf4c0a580ea8b8c7f9 /libs/minisat/System.cc
parentc5f7d0b13922e9959c23791e069cae4a23d5f88a (diff)
Change yosys to look for the #define constant "__unix__" instead of "__linux__", to select code appropriate for Unix-like systems. This has been tested with Clang 3.5 and GCC 4.6, 4.8, and 4.9 on Linux, and Clang 3.5 and GCC 4.9 on kFreeBSD.
Gbp-Pq: Name kfreebsd-support.patch
Diffstat (limited to 'libs/minisat/System.cc')
-rw-r--r--libs/minisat/System.cc2
1 files changed, 1 insertions, 1 deletions
diff --git a/libs/minisat/System.cc b/libs/minisat/System.cc
index 1921a1d7..efbfb08e 100644
--- a/libs/minisat/System.cc
+++ b/libs/minisat/System.cc
@@ -29,7 +29,7 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA
#include "System.h"
-#if defined(__linux__)
+#if defined(__unix__)
#include <stdlib.h>