MTL       = ../mtl
CHDRS     = $(wildcard *.h) $(wildcard $(MTL)/*.h)
EXEC      = minisat
CFLAGS    = -I$(MTL) -Wall -ffloat-store $(EXTRACFLAGS)
LFLAGS    = -lz

include ../mtl/template.mk