blob: 08aeaea37f685caee4c9addef1ac72fb07b44b33 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
#######################################################################
# 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.build
.PHONY: stage0
stage0: $(ML4FILES:.ml4=.ml4.d)
##Somehow, make decides to delete the .ml4.d files if they are -include'd.
##This "stage0" hack to have them include'd, but no spurious error message
##on bootstrap. GNU Make bug suspected.
|
