stp/simplifier/Makefile


1
2
3
4
5
6
7
8
9
10
11

include ../Makefile.common

SRCS = simplifier.cpp bvsolver.cpp
OBJS = $(SRCS:.cpp=.o)

libsimplifier.a: $(OBJS)
	$(AR) rc $@ $^
	$(RANLIB) $@

clean:	
	rm -rf *.o *~ *.a .#*