minisat/core/Makefile

7 lines
175 B
Makefile

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