# Makefile for dp (0.2)

# Should compile with every ANSI-C compiler
# Some additional defines
#   -DVERBOSE - allows some higher verbosity levels
#   -DCHECK   - does some extra checkings; use this if program aborts on a problem

# GCC is preferred
CC = cc
# For Debugging
# CFLAGS = -Wall -g  -DVERBOSE -DCHECK
# For Profiling 
# CFLAGS = -Wall -O2 -finline-functions -pg 
# For Running 
CFLAGS = -O2 

OBJS = silist.o pblist.o dp.o datadefs.o heuristics.o dpio.o
SRCS = silist.c silist.h pblist.c pblist.h dp.c protos.h datadefs.c datadefs.h\
       heuristics.c heuristics.h dpio.c dpio.h
EXAMPLES = sample.cnf hole6 hole7 hole10 nod5col4 ulm027r0 ulmbc024 cnf432.001
OTHER = README COPYING Makefile

dp      : $(OBJS) 
	$(CC) -o dp $(OBJS)

clean   :
	-/bin/rm $(OBJS) dp

distrib : 
	-/bin/rm dp02.tar.Z
	tar -cvf dp02.tar $(SRCS) $(EXAMPLES) $(OTHER)
	compress dp02.tar

.c.o : 
	$(CC) -c $(CFLAGS) $*.c -o $*.o

