CC  = gcc 
#CC  = /usr/local/bin/gcc

NAME = UnitWalk

#CFLAGS = -g -Wall 
CFLAGS = -O3 --static
VFLAGS = 
VFLAGS += -DSTATISTICS -D_WALKSAT_
VFLAGS += -DNDEBUG
#VFLAGS += -D_BIN_ 
#VFLAGS +=-DLEARNING

HEADERS = structures.h Makefile
SOURCES = output.c main.c new.c free.c io.c formula.c clause.c \
          localsearch.c random.c unitwalk.c variable.c unitprop.c \
          memory.c assignment.c walksat.c 
OBJS = $(SOURCES:.c=.o)

all: normal

normal: $(OBJS) $(HEADERS) 
	$(CC) -o $(NAME) $(OBJS) $(CFLAGS) $(VFLAGS) 

.c.o: $(HEADERS)
	$(CC) $(CFLAGS) $(VFLAGS) -c $<

clean :
	rm -f *.o 


