aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile.stage2
blob: 8f3d4e8bf7703f3ca10a977524740ad08c14ad13 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
#######################################################################
#  v      #   The Coq Proof Assistant  /  The Coq Development Team    #
# <O___,, #        INRIA-Rocquencourt  &  LRI-CNRS-Orsay              #
#   \VV/  #############################################################
#    //   #      This file is distributed under the terms of the      #
#         #       GNU Lesser General Public License Version 2.1       #
#######################################################################

include Makefile.stage1
include Makefile.doc

-include $(MLLIBFILES:.mllib=.mllib.d)
.SECONDARY: $(MLLIBFILES:.mllib=.mllib.d)
-include $(filter plugins/%,$(MLLIBFILES:%.mllib=%_mod.ml.d))
.SECONDARY: $(filter plugins/%,$(MLLIBFILES:%.mllib=%_mod.ml.d))
-include $(ML4FILES:.ml4=.ml4.ml.d)
.SECONDARY: $(ML4FILES:.ml4=.ml4.ml.d)
-include $(VFILES:.v=.v.d)
.SECONDARY: $(VFILES:.v=.v.d)

.PHONY: stage2
stage2: world

# For emacs: 
# Local Variables: 
# mode: makefile 
# End: