about summary refs log tree commit diff homepage
path: root/stp/sat/Makefile
blob: 8298e05add5afd6d12a7fe818fe92e469daf01d7 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
include ../Makefile.common

SRCS = Solver.C Simplifier.C
OBJS = $(SRCS:.C=.o)

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

Solver.o: Solver.C Solver.h Sort.h SolverTypes.h VarOrder.h Global.h Heap.h
Simplifier.o: Simplifier.C Solver.h Sort.h SolverTypes.h VarOrder.h Global.h Heap.h

clean:
	rm -rf *.o *~  *.a  depend.mak .#*
depend:
	makedepend -- $(CFLAGS) -- $(SRCS)