OMakeroot

########################################################################
# Permission is hereby granted, free of charge, to any person
# obtaining a copy of this file, to deal in the File without
# restriction, including without limitation the rights to use,
# copy, modify, merge, publish, distribute, sublicense, and/or
# sell copies of the File, and to permit persons to whom the
# File is furnished to do so, subject to the following condition:
#
# THE FILE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
# EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES
# OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.
# IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM,
# DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR
# OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE FILE OR
# THE USE OR OTHER DEALINGS IN THE FILE.

########################################################################
# The standard OMakeroot file.
# You will not normally need to modify this file.
# By default, your changes should be placed in the
# OMakefile in this directory.
#
# If you decide to modify this file, note that it uses exactly
# the same syntax as the OMakefile.
#

#
# Include the standard installed configuration files.
# Any of these can be deleted if you are not using them,
# but you probably want to keep the Common file.
#
open build/C
open build/OCaml
open build/LaTeX

#
# The command-line variables are defined *after* the
# standard configuration has been loaded.
#
DefineCommandVars()

BYTE_ENABLED = true
NATIVE_ENABLED = true

OCAMLFLAGS += -dtypes 

CLEAN = rm -rf *.cm* *~ .\#* *.o *.obj *.a *.lib *.exe *.omc *.install *.tmp *.annot
MPL_DIR = $(ROOT)/tools/mpl
SPL_DIR = $(ROOT)/tools/spl
DIST_DIR = $(ROOT)/dist
LIB_DIR = $(ROOT)/lib

.SUBDIRS: . tools dist
	include OMakefile
	export

MPLGenerated(sources) = 
        MPLC = $(MPL_DIR)/mplc
        OCAMLINCLUDES += $(MPL_DIR)
        export OCAMLINCLUDES
        if $(not $(defined MPL_FLAGS))
            MPL_FLAGS=
            export MPL_FLAGS
        .PHONY: clean
        clean:
                rm -f $(addsuffix .ml, $(sources))
        foreach (source, $(sources))
                OCamlGeneratedFiles($(source).ml)
                $(source).ml: $(source).mpl $(MPL_COMPILER)
                        $(MPLC) $(MPL_FLAGS) $< > $@
                OCAMLFLAGS += -w yu
		$(addsuffixes .cmo .cmx .cmi .o, $(source)): $(MPL_STDLIB)
                clean:

SPLGenerated(statecalls, sources, debug) = 
        SPLC = $(SPL_DIR)/splc
        OCAMLINCLUDES += $(SPL_DIR)
        export OCAMLINCLUDES
	spl_sources = $(addsuffix .spl, $(sources))
	spl_gen_files = $(addsuffix .ml, $(statecalls) $(sources))

	$(spl_gen_files): $(SPL_COMPILER) $(spl_sources)
		$(SPLC) -t ocaml -s $(statecalls) -hdir $(SPL_DIR) -d $(debug) $(spl_sources)

        .PHONY: clean
        clean:
                rm -f $(spl_gen_files) 

VERBOSE = true

#
# Include the OMakefile in this directory.
#
.SUBDIRS: lib apps regress