1################################################## 2# About this Makefile 3# 4# This Makefile depends on Makefile.opts 5################################################## 6 7MODULE = sat 8 9SRC = $(EXTRA_SAT_CPP) \ 10 cnf.cpp \ 11 cnf_manager.cpp \ 12 cnf_theorem_producer.cpp \ 13 dpllt_basic.cpp \ 14 sat_api.cpp \ 15 dpllt_minisat.cpp \ 16 minisat_types.cpp \ 17 minisat_derivation.cpp \ 18 minisat_solver.cpp 19 20 21HEADERS = $(EXTRA_SAT_HEADERS) \ 22 cnf_rules.h \ 23 cnf_theorem_producer.h \ 24 sat_proof.h \ 25 minisat_global.h \ 26 minisat_heap.h \ 27 minisat_types.h \ 28 minisat_varorder.h \ 29 minisat_derivation.h \ 30 minisat_solver.h 31 32LIBRARY=libsat.a 33 34EXTRAFLAGS=$(DPLL_BASIC) 35 36include ../../Makefile.local 37