5 rm -f precosat
*.o makefile precocfg.hh
6 rm -f
*.gcno
*.gcda cscope.out gmon.out
*.gcov
7 precosat
: precomain.o precosat.o precobnr.o
8 $(CXX
) $(CXXFLAGS
) -o precosat precomain.o precosat.o precobnr.o
9 precosat.o
: precosat.hh precosat.
cc makefile
10 $(CXX
) $(CXXFLAGS
) -c precosat.
cc
11 precobnr.o
: precobnr.
cc precobnr.hh precocfg.hh
12 $(CXX
) $(CXXFLAGS
) -c precobnr.
cc
13 precomain.o
: precomain.
cc precocfg.hh precobnr.hh
14 $(CXX
) $(CXXFLAGS
) -c precomain.
cc
15 precocfg.hh
: makefile VERSION mkconfig precosat.hh precosat.
cc
16 rm -f
$@
; .
/mkconfig
> $@
18 precosat_wrap.o
: precosat_wrap.c precosat.hh precosat_wrap.h precocfg.hh
19 $(CXX
) $(CXXFLAGS
) -o
$@
-c
$<
20 libprecosat.so
: precosat_wrap.o precosat.o precobnr.o precocfg.hh
