Makefile 226 Bytes
Newer Older
1
2
3
4
5
6
7
# 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.
8
INCLUDE := -I $(TLC)
9
10
include $(ROOT)/Makefile.coq