CC  = gcc -O3

all: UnitWalk

UnitWalk: satcompUnitWalk.o satcompframework.o
	$(CC) -o UnitWalk satcompUnitWalk.o satcompframework.o

satcompframework.o: framework.c framework.h
	$(CC) -o satcompframework.o -D_SAT_COMP_ -D_BIN_ -c framework.c

satcompUnitWalk.o:UnitWalk.c framework.h
	$(CC) -o satcompUnitWalk.o -D_SAT_COMP_ -D_BIN_ -c UnitWalk.c
  

clean :
	rm -f satcompUnitWalk.o satcompframework.o UnitWalk


