makefile

利用空间表示的rcc8模型进行空间推理

# Makefile to create all programs

#CFLAGS  = -g -Wall
CFLAGS = -O3 -Wall -ansi
#CFLAGS = -O3 -m486
CC = gcc 

all: solve cover genall gencsp 

rcc8op.o: rcc8.h rcc8op.h rcc8op.c 

rcc8io.o: rcc8.h rcc8op.h rcc8io.c

pc1.o:  rcc8.h  rcc8op.h pc1.c

pcwq.o:  rcc8.h  rcc8op.h pcwq.c

pcvb.o:  rcc8.h  rcc8op.h pcvb.c

backtrack.o: rcc8.h  rcc8op.h backtrack.c

solve.o: rcc8.h rcc8op.h rcc8io.h solve.c

solve: rcc8.h rcc8op.h rcc8io.h rcc8op.o rcc8io.o pc1.o pcwq.o pcvb.o backtrack.o solve.o
	$(CC) solve.o pc1.o pcwq.o pcvb.o backtrack.o rcc8io.o rcc8op.o -o solve

cover.o: rcc8.h rcc8io.h rcc8op.h cover.c

cover:   rcc8.h rcc8io.h rcc8op.h rcc8io.c rcc8op.c rcc8op.o  cover.o
	$(CC)  cover.o rcc8io.o rcc8op.o -o cover

genall.o: rcc8.h  rcc8io.h rcc8op.h genall.c

genall:  rcc8.h  rcc8io.h rcc8op.o rcc8io.o genall.o
	$(CC)  genall.o rcc8io.o rcc8op.o -o genall

gencsp.o:  rcc8.h rcc8io.h rcc8op.h gencsp.c

gencsp: rcc8.h rcc8io.h rcc8op.h gencsp.o
	$(CC) gencsp.o rcc8io.o rcc8op.o -o gencsp

clean:
	-rm -f solve
	-rm -f gencsp
	-rm -f cover
	-rm -f genall
	-rm -f *.o
	-rm -f core