mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 09:34:08 +00:00
Fixing new build system for OSX
Signed-off-by: Leonardo de Moura <leonardo@z3-mac.local>
This commit is contained in:
parent
bf27090641
commit
deb5ee395a
|
@ -93,7 +93,7 @@ AC_PROG_GREP
|
|||
AC_PROG_SED
|
||||
|
||||
# Sets OPENMP_CFLAGS
|
||||
AC_OPENMP
|
||||
m4_ifdef([AC_OPENMP], [AC_OPENMP])
|
||||
|
||||
AR=ar
|
||||
AC_SUBST(AR)
|
||||
|
|
|
@ -2,7 +2,7 @@
|
|||
|
||||
CXX=@CXX@
|
||||
CXXFLAGS=@CPPFLAGS@ @CXXFLAGS@ -DZ3DEBUG -D_TRACE -c -g -Wall -fopenmp -msse -msse2 -mfpmath=sse
|
||||
CXX_OUT_FLAG=-o
|
||||
CXX_OUT_FLAG=-o
|
||||
OBJ_EXT=.o
|
||||
LIB_EXT=.a
|
||||
AR=@AR@
|
||||
|
@ -11,9 +11,9 @@ AR_OUTFLAG=
|
|||
EXE_EXT=
|
||||
LINK=@CXX@
|
||||
LINK_FLAGS=-lpthread -fopenmp
|
||||
LINK_OUT_FLAG=-o
|
||||
LINK_OUT_FLAG=-o
|
||||
SO_EXT=@SO_EXT@
|
||||
SLINK=@CXX@
|
||||
SLINK_FLAGS=@SLIBFLAGS@
|
||||
SLINK_EXTRA_FLAGS=@SLIBEXTRAFLAGS@
|
||||
SLINK_OUT_FLAG=-o
|
||||
SLINK_OUT_FLAG=-o
|
|
@ -2,7 +2,7 @@
|
|||
|
||||
CXX=@CXX@
|
||||
CXXFLAGS=@CPPFLAGS@ @CXXFLAGS@ -c -O3 -fomit-frame-pointer -fopenmp -msse -msse2 -mfpmath=sse
|
||||
CXX_OUT_FLAG=-o
|
||||
CXX_OUT_FLAG=-o
|
||||
OBJ_EXT=.o
|
||||
LIB_EXT=.a
|
||||
AR=@AR@
|
||||
|
@ -11,9 +11,9 @@ AR_OUTFLAG=
|
|||
EXE_EXT=
|
||||
LINK=@CXX@
|
||||
LINK_FLAGS=-lpthread -fopenmp
|
||||
LINK_OUT_FLAG=-o
|
||||
LINK_OUT_FLAG=-o
|
||||
SO_EXT=@SO_EXT@
|
||||
SLINK=@CXX@
|
||||
SLINK_FLAGS=@SLIBFLAGS@
|
||||
SLINK_EXTRA_FLAGS=@SLIBEXTRAFLAGS@
|
||||
SLINK_OUT_FLAG=-o
|
||||
SLINK_OUT_FLAG=-o
|
|
@ -56,7 +56,9 @@ public:
|
|||
explicit symbol(char const * d);
|
||||
explicit symbol(unsigned idx):
|
||||
m_data(BOXTAGINT(char const *, idx, 1)) {
|
||||
#ifndef _AMD64_
|
||||
SASSERT(idx < (SIZE_MAX >> PTR_ALIGNMENT));
|
||||
#endif
|
||||
}
|
||||
static symbol dummy() { return m_dummy; }
|
||||
static const symbol null;
|
||||
|
|
Loading…
Reference in a new issue