# This makefile fragemnt will override the default options found at the top # of the 'Makefile' in the source directory. See 'Makefile.in' # for discussion of the various options. # # Gnu GCC CC=cc CFLAGS= -O -ansi # -DPURIFY -> when using purify # -DSTATISTICS -> when you want statistics # -DMPOOL_DEBUG -> debugging fmpool_xxx interface # -DMP_DEBUG -> debugging MPxxx interface # #AUXFLAGS= -DPURIFY -DSTATISTICS -DMPOOL_DEBUG -DMP_DEBUG -DDEBUG #AUXFLAGS= -DPURIFY -DSTATISTICS -DMPOOL_DEBUG -DMP_DEBUG -DCIRCLEQ_DEBUG #AUXFLAGS= -DPURIFY -DSTATISTICS -DMP_DEBUG -DDEBUG #AUXFLAGS= -DPURIFY -DSTATISTICS -DSTAT_DEBUG #AUXFLAGS= -DHAVE_GETRUSAGE -DSTATISTICS #AUXFLAGS= -DDEBUG #AUXFLAGS= LDFLAGS= LDLIBS= # Name of achive randomizer, usually ranlib (use 'true' if non-existant) RANLIB = ranlib # Name of library archiver and flags to send, default 'AR=ar', 'ARFLAGS=r' AR = ar ARFLAGS = r # Name of remove utility, default 'RM=/bin/rm', 'RMFLAGS=-f' RM = /bin/rm RMFLAGS = -f # Move command MV= mv