From 7013e0b672a881a979ef05f504ba3b2fb3dfdaf4 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 15 Aug 2013 00:58:23 -0700
Subject: Small changes to compile on Mac.

---
 src/misc/util/abc_global.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/misc/util/abc_global.h b/src/misc/util/abc_global.h
index 8952d1e2..efd790f6 100644
--- a/src/misc/util/abc_global.h
+++ b/src/misc/util/abc_global.h
@@ -272,7 +272,7 @@ static inline int      Abc_Lit2LitL( int * pMap, int Lit )    { return Abc_LitNo
 typedef ABC_INT64_T abctime;
 static inline abctime Abc_Clock()
 {
-#if defined(LIN) || defined(LIN64)
+#if defined(LIN) || defined(LIN64) && !(__APPLE__ & __MACH__)
     struct timespec ts;
     if ( clock_gettime(CLOCK_THREAD_CPUTIME_ID, &ts) < 0 ) 
         return (abctime)-1;
-- 
cgit v1.2.3