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 zverify_df: zverify_df.cpp
37 $(CC) $(LINKFLAGS) $(CFLAGS) $(MFLAGS) zverify_df.cpp -o zverify_df
39 zminimal: zminimal.cpp libsat.a
40 $(CC) $(LINKFLAGS) $(CFLAGS) $(MFLAGS) zminimal.cpp libsat.a -o zminimal
42 cnf_stats: cnf_stats.cpp
43 $(CC) $(LINKFLAGS) $(CFLAGS) $(MFLAGS) cnf_stats.cpp -o cnf_stats
45 $(LIB_OBJS): $(HEADERS) Makefile
47 $(SOLVER_OBJS): $(SOLVER_SRCS) SAT.h Makefile
49 zchaff_c_wrapper.cpp: zchaff_wrapper.wrp
50 sed 's/EXTERN/extern \"C\"/' zchaff_wrapper.wrp > zchaff_c_wrapper.cpp
52 zchaff_cpp_wrapper.cpp: zchaff_wrapper.wrp
53 sed 's/EXTERN//' zchaff_wrapper.wrp > zchaff_cpp_wrapper.cpp
55 sed 's/gid = 0/gid/' SAT.h > SAT_C.h
59 $(AR) cr libsat.a $(LIB_OBJS)
63 $(CC) $(CFLAGS) $(MFLAGS) -c $<
66 rm -f *.o libsat.a zchaff *wrapper.cpp zminimal zverify_df cnf_stats SAT_C.h
68 all: zchaff zverify_df zminimal cnf_stats