Commit 66e2ee90 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Shell hack to automatically find the git root.

parent fb40295d
include ../../Makefile.config
# 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 ../../Makefile.coq
include $(ROOT)/Makefile.coq
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment