Commit e0e42144 authored by POTTIER Francois's avatar POTTIER Francois

Modified lib/make/Makefile.coq to avoid relying on $(TLC).

Ideally, though, this file should not even exist.
We should instead refer directly to lib/tlc/Makefile.coq.
parent aca3200d
include $(TLC)/Makefile.coq
# fpottier: ideally, this file should not even exist, since
# it has been moved to TLC. Where is it still used?
# Note: using $(CFML)/lib/tlc instead of $(TLC). Better not
# to assume that $(TLC) is defined.
include $(CFML)/lib/tlc/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