Source

z3 / scripts / config-release.mk.in

Full commit
CC=@CC@
PREFIX=@prefix@
CXX=@CXX@
CXXFLAGS=@CPPFLAGS@ @CXXFLAGS@ -c -O3 -fomit-frame-pointer @OPENMP_CXXFLAGS@ -msse -msse2 -mfpmath=sse
CXX_OUT_FLAG=-o 
OBJ_EXT=.o
LIB_EXT=.a
AR=@AR@
AR_FLAGS=rcs
AR_OUTFLAG= 
EXE_EXT=
LINK=@CXX@
LINK_FLAGS=
LINK_OUT_FLAG=-o 
LINK_EXTRA_FLAGS=-lpthread @OPENMP_CXXFLAGS@ @LDFLAGS@
SO_EXT=@SO_EXT@
SLINK=@CXX@
SLINK_FLAGS=@SLIBFLAGS@ @OPENMP_CXXFLAGS@
SLINK_EXTRA_FLAGS=@SLIBEXTRAFLAGS@
SLINK_OUT_FLAG=-o