summaryrefslogtreecommitdiff
path: root/Makefile.dep
blob: 93ca6dfa44cd502a626e37ec0055bc1288ba8aef (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) $<` $(CAMLP4COMPAT) -impl $< > $@ || rm -f $@