f5d4481aa74f3d58c7037c0bfd39d4151ae605fd
[satlib.git] / Makefile
1 EXEC = glucose
2 DEPDIR    = mtl utils core
3 MROOT = $(PWD)/..
4
5 include $(MROOT)/mtl/template.mk