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