EXEC      = glueminisat
DEPDIR    = mtl utils core

include $(MROOT)/mtl/template.mk
