bcb46faf98d3573834f040563549f605a8924c52
[satlib.git] / glucose-syrup / incremental / Makefile
1 EXEC = glucose
2 DEPDIR    = mtl utils core
3 MROOT = $(PWD)/..
4 CFLAGS = -I ../..
5 include $(MROOT)/mtl/template.mk