# Incantation to find the root of the git repository.
ROOT := $(shell while ! [ -d ./.git ] ; do cd .. ; done && pwd)

# Find TLC.
include $(ROOT)/Makefile.config

# Compile.
INCLUDE := -I $(TLC)
include $(ROOT)/Makefile.coq