CFLAGS= -g -xsb

%.o: %.cxx
	CC $(CFLAGS) -c $<


BFILES= knight.o knightmain.o knightboard.o knightsquare.o knightheuristic.o knightsolution.o

knight: $(BFILES)
	CC -o knight $(CFLAGS) $(BFILES)

$(BFILES): knight_local.H

zip:
	rm -rf knight.zip
	zip -r knight.zip Makefile knight_local.H knight*.cxx
