projects
/
satlib.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
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