From 512952aa0f55484fc81136170083e2b7abbe9aff Mon Sep 17 00:00:00 2001 From: Sebastian Kuzminsky Date: Sat, 14 May 2016 15:44:13 +0200 Subject: 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 --- libs/minisat/System.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'libs/minisat/System.cc') 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 -- cgit v1.2.3