?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
fix minisat compile on modern c++ compilers
[cl-satwrap.git] / backends / minisat / core / Makefile
blob42128c6d63d3585b1da8a46f23813ccd71307d47
1 MTL = ../mtl
2 CHDRS = $(wildcard *.h) $(wildcard $(MTL)/*.h)
3 EXEC = minisat
4 CFLAGS = -I$(MTL) -Wall -ffloat-store
5 LFLAGS = -lz
6
7 include ../mtl/template.mk
Generic SAT solver interface for Common Lisp with exchangeable backends like minisat, precosat or whoever wins next year's satrace