blob: 0aac35b8ddd40120c05e44f2d9bee8fef714a29f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
#######################################################################
# 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.stage2
-include $(VFILES:.v=.v.d)
.PHONY: stage3
stage3: world
|