Commit 2b8ba7f1 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Renamed INCLUDE to COQINCLUDE in Makefile.coq.

parent 1d9d8a26
...@@ -7,6 +7,6 @@ ROOT := $(shell while ! [ -f ./Makefile.tlc ] ; do cd .. ; done && pwd) ...@@ -7,6 +7,6 @@ ROOT := $(shell while ! [ -f ./Makefile.tlc ] ; do cd .. ; done && pwd)
include $(ROOT)/Makefile.tlc include $(ROOT)/Makefile.tlc
# Compile. # Compile.
INCLUDE := -I $(TLC) COQINCLUDE := -I $(TLC)
include $(ROOT)/lib/make/Makefile.coq include $(ROOT)/lib/make/Makefile.coq
# A tiny generic Makefile for Coq projects. # A tiny generic Makefile for Coq projects.
# The variable INCLUDE should be defined externally. # The variable COQINCLUDE should be defined externally.
# We automatically add the current directory to it. # We automatically add the current directory to it.
.PHONY: all clean .PHONY: all clean
...@@ -22,8 +22,8 @@ ifeq ($(findstring $(MAKECMDGOALS),clean),) ...@@ -22,8 +22,8 @@ ifeq ($(findstring $(MAKECMDGOALS),clean),)
endif endif
%.v.d: %.v %.v.d: %.v
@$(COQDEP) $(INCLUDE) -I . $< > $@ @$(COQDEP) $(COQINCLUDE) -I . $< > $@
%.vo: %.v %.vo: %.v
$(COQC) $(INCLUDE) -I . $< $(COQC) $(COQINCLUDE) -I . $<
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