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

-include ../Makefile.common

CFLAGS = $(COMMON-CFLAGS) -I../main -I../parser

all with-cprover : $(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)
