[satlib.git] / glucose-syrup / incremental / Makefile~

EXEC = glucose
DEPDIR    = mtl utils core
MROOT = $(PWD)/..

include $(MROOT)/mtl/template.mk