1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
# This is a -*-Makefile-*-
# $Id: Makefile.config,v 1.5 2007-03-15 22:40:43 tews Exp $
# Compilation commands are now in Makefile.here
# Additional compilation flags
OCFLAGS=${shell grep "(\* ocamlc options: !" $< | cut -d! -f2}
ODFLAGS=${shell grep "(\* ocamldep options: !" $< | cut -d! -f2}
%.cmi: %.mli
${CAMLC} -c ${OCFLAGS} $<
%.cmo:%.ml
${CAMLC} -c ${OCFLAGS} $<
%.cmx:%.ml
${CAMLOPT} -c ${OCFLAGS} $<
%.dep:%.ml
${CAMLDEP} ${ODFLAGS} $< > $@
%.dep:%.mli
${CAMLDEP} ${ODFLAGS} $< > $@
|
