# Makefile for linux
# Generated by genmake on Mon Dec 22 17:26:31 GMT 2008

# OS specific compiler directives

# -DBZERO               - IF YOU DON'T HAVE bzero()
# -DZOMBIE              - IF zombie PROCESSES ARE GENERATED
# -DGETTIMEOFDAY        - TO GET DURATION STATISTICS
# -DREGEXEC             - IF YOUR COMPILER SUPPORTS regexec(),regcomp()
# -DREGEX               - IF YOUR COMPILER SUPPORTS regex(),regcmp()
# -DRE_EXEC             - IF YOUR COMPILER SUPPORTS re_exec(),re_comp()
# -DTIMEH               - IF YOUR OS HAS time.h INSTEAD OF sys/time.h
# -DSIGSETJMP           - IF YOUR OS SUPPORTS sigsetjmp() AND DOES NOT 
#				HANDLE SIGNALS PROPERLY WITH setjmp()

BBOS = "linux"
CC = "gcc"
CFLAGS = " -DSIGSETJMP -O -Dlinux -DGETTIMEOFDAY -DREGEXEC -DTIMEH"

BBENV =  BBOS=${BBOS} CC=${CC} CFLAGS=${CFLAGS}

all:
	${BBENV} make -e bball