8 ifeq (solaris, $(OSTYPE))
9 MFLAGS = -D_NEED_REDEFINE_RAND_MAX_
17 HEADERS = zchaff_base.h zchaff_clsgen.h zchaff_header.h zchaff_version.h zchaff_dbase.h zchaff_solver.h
19 SOLVER_SRCS = sat_solver.cpp
20 SOLVER_OBJS = $(SOLVER_SRCS:.cpp=.o)
23 LIB_SRCS = zchaff_utils.cpp \
27 zchaff_c_wrapper.cpp \
28 zchaff_cpp_wrapper.cpp \
30 LIB_OBJS = $(LIB_SRCS:.cpp=.o)
33 zchaff: $(SOLVER_OBJS) libsat.a SAT.h
34 $(CC) $(LINKFLAGS) $(CFLAGS) $(MFLAGS) $(SOLVER_OBJS) libsat.a -o zchaff
36 inc_solver: inc_solver.cpp libsat.a SAT.h
37 $(CC) -I../ $(LINKFLAGS) $(CFLAGS) $(MFLAGS) inc_solver.cpp libsat.a -o inc_solver
39 zverify_df: zverify_df.cpp
40 $(CC) $(LINKFLAGS) $(CFLAGS) $(MFLAGS) zverify_df.cpp -o zverify_df
42 zminimal: zminimal.cpp libsat.a
43 $(CC) $(LINKFLAGS) $(CFLAGS) $(MFLAGS) zminimal.cpp libsat.a -o zminimal
45 cnf_stats: cnf_stats.cpp
46 $(CC) $(LINKFLAGS) $(CFLAGS) $(MFLAGS) cnf_stats.cpp -o cnf_stats
48 $(LIB_OBJS): $(HEADERS) Makefile
50 $(SOLVER_OBJS): $(SOLVER_SRCS) SAT.h Makefile
52 zchaff_c_wrapper.cpp: zchaff_wrapper.wrp
53 sed 's/EXTERN/extern \"C\"/' zchaff_wrapper.wrp > zchaff_c_wrapper.cpp
55 zchaff_cpp_wrapper.cpp: zchaff_wrapper.wrp
56 sed 's/EXTERN//' zchaff_wrapper.wrp > zchaff_cpp_wrapper.cpp
58 sed 's/gid = 0/gid/' SAT.h > SAT_C.h
62 $(AR) cr libsat.a $(LIB_OBJS)
66 $(CC) $(CFLAGS) $(MFLAGS) -c $<
69 rm -f *.o libsat.a zchaff *wrapper.cpp zminimal zverify_df cnf_stats SAT_C.h inc_solver
71 all: zchaff zverify_df zminimal cnf_stats inc_solver