# 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=gcc
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 = ru

# Name of remove utility, default 'RM=/bin/rm', 'RMFLAGS=-f'
RM = /bin/rm
RMFLAGS = -f

# Move command
MV= mv



