1FLAGS		+=	-DNDEBUG -DSCIP_NO_SIGACTION -DNO_RAND_R -DSCIP_NO_STRTOK_R -DNO_REMOVE_HISTORY -DSCIP_LONGINT_FORMAT='"lld"' -DSCIP_ROUNDING_FE
2CFLAGS		=	-O6 -mtune=native
3CFLAGS		+=	$(GCCWARN) -Wno-strict-aliasing -Wno-missing-declarations -Wno-missing-prototypes
4CXXFLAGS	+=	$(GXXWARN) -Wno-strict-aliasing
5ARFLAGS		=	crs
6LDFLAGS		=	-lm -static
7LINKRPATH =
8EXEEXTENSION	=	.exe
9ZLIB_FLAGS	=
10ZLIB_LDFLAGS 	=	-lz
11GMP_FLAGS	=
12GMP_LDFLAGS 	=	-lgmp
13READLINE_FLAGS	=
14READLINE_LDFLAGS=	-lreadline
15