1FLAGS += -DSCIP_ROUNDING_FE
2OFLAGS += -z -g +DD64 +W21,486,474
3CFLAGS +=
4CXXFLAGS +=
5ARFLAGS = crs
6LDFLAGS += -noshared -lm
7LINKRPATH =
8CC = cc
9CXX = cc
10ZLIB_FLAGS =
11ZLIB_LDFLAGS = -lz
12GMP_FLAGS =
13GMP_LDFLAGS = -lgmp
14READLINE_FLAGS =
15READLINE_LDFLAGS= -lreadline -lncurses
16