blob: 542ccbcd9b2e6e90bb76451f046e277cc3bd99c6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
#######################################################################
# 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 #
#######################################################################
# This Makefile is designed to make the .ml files corresponding to .ml4 files
include Makefile
include .depend.camlp4
.ml4.ml:
$(CAMLP4O) $(CAMLP4EXTENDFLAGS) pa_ifdef.cmo pr_o.cmo `$(CAMLP4DEPS) $<` -impl $< > $@ || rm -f $@
|
