summaryrefslogtreecommitdiff
path: root/src/prop/minisat/simp/Makefile
blob: a1db4951b7e02f6eb1d85c234f4209063e5266a0 (plain) 
1
2
3
4
5
6
7
8
9
10
11

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

CSRCS     = $(wildcard *.C)
COBJS     = $(addsuffix .o, $(basename $(CSRCS))) $(CORE)/Solver.o

include ../mtl/template.mk
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback