CC  = gcc -O3

all: normal

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

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

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

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

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

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


