Skip to content

GitLab

Commit 8aa8a82c authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Added "make ide" to Makefile.coq.

parent 2b8ba7f1
Show whitespace changes
Inline Side-by-side
lib/make/Makefile.coq
View file @ 8aa8a82c
...@@ -3,10 +3,11 @@ ...@@ -3,10 +3,11 @@
# The variable COQINCLUDE 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 ide
COQC := coqc COQC := coqc
COQDEP := coqdep COQDEP := coqdep
COQIDE := coqide
V := $(wildcard *.v) V := $(wildcard *.v)
VO := $(patsubst %.v,%.vo,$(V)) VO := $(patsubst %.v,%.vo,$(V))
...@@ -17,6 +18,9 @@ all: $(VO) ...@@ -17,6 +18,9 @@ all: $(VO)
clean: clean:
rm -f *.vo *.v.d *.glob rm -f *.vo *.v.d *.glob
ide:
$(COQIDE) $(COQINCLUDE) -I .
ifeq ($(findstring $(MAKECMDGOALS),clean),) ifeq ($(findstring $(MAKECMDGOALS),clean),)
-include $(VD) -include $(VD)
endif endif
......
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