# Should compile with every ANSI-C compiler
# Some additional defines

# GCC is preferred for distribution or linux
CC = gcc
# For Debugging
# CFLAGS = -Wall -g -O0
# For Profiling 
# CFLAGS = -Wall -O3 -finline-functions -pg 
# For Running 
CFLAGS = -Wall -O3 -finline-functions 

solvecolor : solvecolor.c intlist.h intlist.o
	$(CC) $(CFLAGS) -o solvecolor solvecolor.c intlist.o -lm

solvecolor-multi : solvecolor-multi.c intlist.h intlist.o
	$(CC) $(CFLAGS) -o solvecolor-multi solvecolor-multi.c intlist.o -lm

solvecolor2clseq : solvecolor.c intlist.h intlist.o
	$(CC) $(CFLAGS) -DSATPROG=\"do-2clseq-ncol.csh\" -o solvecolor2clseq solvecolor.c intlist.o -lm

solvecolor1 : solvecolor.c intlist.h intlist.o
	$(CC) $(CFLAGS) -o solvecolor1 solvecolor.c intlist.o -lm

intlist.o : intlist.c intlist.h
	$(CC) $(CFLAGS) -c intlist.c

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