+++ /dev/null
-# This OMakefile is designed for projects that use Objective Caml,
-# ocamllex, menhir, and alphaCaml.
-
-# This OMakefile is meant to be included within a host OMakefile
-# that defines the following variables:
-#
-# GENERATED : a list of the source (.ml and .mli) files
-# that are generated (by invoking ocamllex
-# or menhir)
-#
-# MODULES : a list of the modules (without extension)
-# that should be linked into the executable
-# program. Order is significant.
-#
-# EXECUTABLE : the base name of the executables that should
-# be produced. Suffixes $(BSUFFIX) and $(OSUFFIX)
-# will be added to distinguish the bytecode and
-# native code versions.
-
-# -------------------------------------------------------------------------
-
-# The host OMakefile can override the following default settings.
-
-# Menhir.
-
-if $(not $(defined MENHIR))
- MENHIR = menhir
- export
-
-# Parser generation flags.
-
-if $(not $(defined MENHIR_FLAGS))
- MENHIR_FLAGS = --infer -v
- export
-
-# Include directives for compilation and for linking.
-
-if $(not $(defined PREFIXED_OCAMLINCLUDES))
- PREFIXED_OCAMLINCLUDES =
- export
-
-# Bytecode compilation flags.
-
-if $(not $(defined BFLAGS))
- BFLAGS = -dtypes -g
- export
-
-# Native code compilation flags.
-
-if $(not $(defined OFLAGS))
- OFLAGS = -dtypes
- export
-
-# Menhir-suggested compilation flags.
-if $(not $(defined SUGG_FLAGS))
- SUGG_FLAGS = $(shell $(MENHIR) $(MENHIR_FLAGS) --suggest-comp-flags 2>/dev/null)
- export
-
-# Bytecode link-time flags.
-
-if $(not $(defined BLNKFLAGS))
- BLNKFLAGS = -g
- export
-
-# Menhir-suggested bytecode link-time flags.
-if $(not $(defined SUGG_BLNKFLAGS))
- SUGG_BLNKFLAGS = $(shell $(MENHIR) $(MENHIR_FLAGS) --suggest-link-flags-byte 2>/dev/null)
- export
-
-# Native code link-time flags.
-
-if $(not $(defined OLNKFLAGS))
- OLNKFLAGS =
- export
-
-# Menhir-suggested native code link-time flags.
-if $(not $(defined SUGG_OLNKFLAGS))
- SUGG_OLNKFLAGS = $(shell $(MENHIR) $(MENHIR_FLAGS) --suggest-link-flags-opt 2>/dev/null)
- export
-
-# Lexer generation flags.
-
-if $(not $(defined LGFLAGS))
- LGFLAGS =
- export
-
-# Suffix appended to the name of the bytecode executable.
-
-if $(not $(defined BSUFFIX))
- BSUFFIX = .byte
- export
-
-# Suffix appended to the name of the native code executable.
-
-if $(not $(defined OSUFFIX))
- OSUFFIX =
- export
-
-# Access paths for the tools.
-
-if $(not $(defined OCAML))
- OCAML = ocaml
- export
-
-if $(not $(defined OCAMLC))
- if $(which ocamlfind)
- OCAMLC = ocamlfind ocamlc
- export
- elseif $(which ocamlc.opt)
- OCAMLC = ocamlc.opt
- export
- else
- OCAMLC = ocamlc
- export
- export
-
-if $(not $(defined OCAMLOPT))
- if $(which ocamlfind)
- OCAMLOPT = ocamlfind ocamlopt
- export
- elseif $(which ocamlopt.opt)
- OCAMLOPT = ocamlopt.opt
- export
- else
- OCAMLOPT = ocamlopt
- export
- export
-
-if $(not $(defined OCAMLDEP))
- if $(which ocamlfind)
- OCAMLDEP = ocamlfind ocamldep
- export
- elseif $(which ocamldep.opt)
- OCAMLDEP = ocamldep.opt
- export
- else
- OCAMLDEP = ocamldep
- export
- export
-
-if $(not $(defined OCAMLDEPWRAPPER))
- OCAMLDEPWRAPPER = ./ocamldep.wrapper
- export
-
-if $(not $(defined OCAMLLEX))
- OCAMLLEX = ocamllex
- export
-
-if $(not $(defined ALPHACAML))
- ALPHACAML = alphaCaml
- export
-
-# ----------------------------------------------------------------
-
-# Define an ocamldep wrapper that creates fake generated files so that
-# ocamldep can see that these files exist (or are supposed to exist).
-# This is required to work around ocamldep's brokenness.
-
-WrapScanner(command) =
- $(OCAML) $(OCAMLDEPWRAPPER) $(GENERATED) - $(command)
-
-# ----------------------------------------------------------------
-
-# Dependencies.
-
-.SCANNER: %.cmi: %.mli
- WrapScanner($(OCAMLDEP) $<)
-
-.SCANNER: %.cmx %.cmo %.o: %.ml
- WrapScanner($(OCAMLDEP) $<)
-
-# ----------------------------------------------------------------
-
-# Compilation.
-
-%.cmi: %.mli
- $(OCAMLC) $(PREFIXED_OCAMLINCLUDES) $(BFLAGS) $(SUGG_FLAGS) -c $<
-
-%.cmo: %.ml
- $(OCAMLC) $(PREFIXED_OCAMLINCLUDES) $(BFLAGS) $(SUGG_FLAGS) -c $<
-
-%.cmx %.o: %.ml
- $(OCAMLOPT) $(PREFIXED_OCAMLINCLUDES) $(OFLAGS) $(SUGG_FLAGS) -c $<
-
-%.ml: %.mll
- $(OCAMLLEX) $(LGFLAGS) $<
-
-%.ml %.mli: %.mla
- $(ALPHACAML) $<
-
-# ----------------------------------------------------------------
-
-# Linking.
-
-$(EXECUTABLE)$(OSUFFIX): $(addsuffix .cmx, $(MODULES))
- $(OCAMLOPT) -o $@ $(PREFIXED_OCAMLINCLUDES) $(OLNKFLAGS) $(SUGG_FLAGS) $(SUGG_OLNKFLAGS) $+
-
-$(EXECUTABLE)$(BSUFFIX): $(addsuffix .cmo, $(MODULES))
- $(OCAMLC) -o $@ $(PREFIXED_OCAMLINCLUDES) $(BLNKFLAGS) $(SUGG_FLAGS) $(SUGG_BLNKFLAGS) $+
-
-# ----------------------------------------------------------------
-
-# Menhir: multiple file projects.
-
-MenhirMulti(target, sources, options) =
- TARGETS = $(file $(target).ml $(target).mli)
- SOURCES = $(file $(sources))
- $(TARGETS): $(SOURCES)
- $(MENHIR) --ocamlc "$(OCAMLC) $(PREFIXED_OCAMLINCLUDES) $(BFLAGS)" $(MENHIR_FLAGS) --base $(target) $(options) $(SOURCES)
- .SCANNER: $(TARGETS): $(SOURCES)
- WrapScanner($(MENHIR) --ocamldep "$(OCAMLDEP)" --depend --base $(target) $(options) $(SOURCES))
-
-# Menhir: single file projects.
-
-MenhirMono(target, options) =
- MenhirMulti($(target), $(target).mly, $(options))
-
-# Menhir: automatic single file projects.
-# This causes every .mly file to be viewed as a single file project.
-
-MenhirAuto() =
- foreach (target, $(glob *.mly))
- MenhirMono($(removesuffix $(target)), $(EMPTY))
-
-# ----------------------------------------------------------------
-
-.PHONY: clean
-
-clean:
- /bin/rm -f $(EXECUTABLE)$(BSUFFIX) $(EXECUTABLE)$(OSUFFIX) $(GENERATED)
- /bin/rm -f *.cmi *.cmx *.cmo *.o *~ .*~ *.automaton *.conflicts *.annot
HCoop / bpt / coccinelle.git / blobdiff