SRCS = $(wildcard *.cpp)
DEPS = $(patsubst %.cpp,%.d,$(SRCS))
OBJS = $(patsubst %.cpp,%.o,$(SRCS))

-include ../Makefile.common

#flags for the compiler
CFLAGS = $(COMMON-CFLAGS) -I../sub -I../parser -I../theorem-prover/simplify
#for with-cprover target
ifeq ($(MAKECMDGOALS),with-cprover)
CFLAGS += -I../theorem-prover/cprover -I../zchaff -I../cprover/propdec -I../cprover/util -I../cprover/infrules -I../cprover -DMAGIC_CPROVER
endif
#for all target
ifeq ($(MAKECMDGOALS),all)
CFLAGS += -I../theorem-prover/cprover -I../zchaff -I../cprover/propdec -I../cprover/util -I../cprover/infrules -I../cprover -I../theorem-prover/cvc -I../theorem-prover/ics -I../theorem-prover/svc -I../theorem-prover/cvcl -I../ctool -I../pam -I../pacc -DMAGIC_FULL
endif

LIB = libmain.a

all with-cprover lite : $(LIB)

$(LIB) : $(OBJS)
	$(AR) $(LIB) $(OBJS)
	$(RANLIB) $(LIB)

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

%.d : %.cpp
	$(CC) $(CFLAGS) -MM $< > $@

clean :
	rm -f $(LIB) $(OBJS) $(DEPS)

