OMakefile_common

#
# Make sure omake is up-to-date
#
OMakeVersion(0.9.8.5)

########################################################################
# Config cleaning
#
if $(not $(defined CAMLP5R))
   CAMLP5R = camlp5r$(EXE)
   export

if $(not $(defined CAMLP5O))
   CAMLP5O = camlp5o$(EXE)
   export

#
# Inline more aggressively
#
if $(not $(NATIVE_PROFILING_ENABLED))
   OCAMLOPTFLAGS += -inline $(OCAMLOPT_INLINE)
   export

#
# Do not compile MetaPRL with threads.
#
THREADSLIB[] =
OPTTHREADSLIB[] =
OCAML_OTHER_LIBS += unix

if $(THREADS_ENABLED)
    OCAMLFLAGS += -thread
    OCAML_OTHER_LIBS += threads
    THREADSLIB = $(CAMLLIB)/threads/threads.cma
    OPTTHREADSLIB = $(CAMLLIB)/threads/threads.cmxa
    export

#
# For native code profiling, we need both versions of the filter libraries.
#
if $(NATIVE_PROFILING_ENABLED)
   COMPILATION_MODE = both
   OCAMLOPTFLAGS += -p -inline 0
   CFLAGS += -p -DPROF
   if $(equal $(NATIVE_PROFILING_ENABLED), compact)
      OCAMLOPTFLAGS += -compact
      export
   export

########################################################################
# Version and config checking
#
CheckVar(name, val, valid) =
    if $(not $(mem $(val), $(valid)))
        valid = $(array $(valid))
        valid = $(concat $', ', $(valid.map $(quote)))
        err[] =
            $"""The $(name) variable is currently set to an invalid value "$(val)"."""
            $"""Valid values for $(name) are: $(valid)."""
            $"""Please fix it in the mk/config file."""
        ConfMsgError($(err))

CheckVar(COMPILATION_MODE, $(COMPILATION_MODE), native byte mixed both)

NATIVE_ENABLED = $(mem $(COMPILATION_MODE), native mixed both)
BYTE_ENABLED = $(mem $(COMPILATION_MODE), byte mixed both)

CheckFile(f, err-extra) =
    f = $(file $"$f")
    if $(not $(file-exists $f))
        err[] =
            $"The file $f does not exist (or is not readable)"
            $(EMPTY)
            $(err-extra)
        ConfMsgError($(err))

InstVarErr(var) =
    err[] =
        $"Please consult doc/htmlman/mp-install.html (http://metaprl.org/install.html)"
        $"for instructions on compiling OCaml and setting the $(var) variable."
    return $(err)

if $(file-exists $(CAMLLIB)/../compiler-lib/parsetree.cmi)
   OCAMLINCLUDES += $(dir $(CAMLLIB)/../compiler-lib)
   export
elseif  $(file-exists $(CAMLLIB)/compiler-libs/parsetree.cmi)
   OCAMLINCLUDES += $(dir $(CAMLLIB)/compiler-libs)
   export
else
   if $(BYTE_ENABLED)
        CheckFile($(CAMLLIB)/parsetree.cmi, $(InstVarErr CAMLLIB))

if $(BYTE_ENABLED)
    CheckFile($(CAMLP5LIB)/camlp5.cma, $(InstVarErr CAMLP5LIB))
    CheckFile($(CAMLP5LIB)/pa_op.cmo, $(InstVarErr CAMLP5LIB))

if $(NATIVE_ENABLED)
    CheckFile($(CAMLP5LIB)/camlp5.cmxa, $(InstVarErr CAMLP5LIB))
    CheckFile($(CAMLP5LIB)/pa_op.cmx, $(InstVarErr CAMLP5LIB))

CheckVar(TERMS, $(TERMS), std ds both)
CheckVar(REFINER, $(REFINER), SIMPLE VERBOSE)
CheckVar(SEQ_SET, $(SEQ_SET), Lm_array Lm_splay)
CheckVar(DEFAULT_UI, $(DEFAULT_UI), browser cli)

if $(equal $(OSTYPE), Win32)
    if $(SSL_ENABLED)
        err[] =
            $"Please either"
            $" - Make sure your OpenSSL installation is complete and"
            $"   the SSL_LIB_WIN32 and SSL_INC_WIN32 variables in mk/config.local"
            $"   point to the correct location"
            $" - Set SSL_ENABLED to false in mk/config"
            $"   Note that SSL is currently required for the browser interface to work"
        CheckFile($(SSL_LIB_WIN32)/ssleay32MT.lib, $(err))
        CheckFile($(SSL_LIB_WIN32)/libeay32MT.lib, $(err))
        CheckFile($(SSL_INC_WIN32)/openssl/ssl.h, $(err))

#
# Different version files
#
OCAMLC_VERSION     = $(file .version.ocamlc)
OCAMLOPT_VERSION   = $(file .version.ocamlopt)
CAMLP5_VERSION     = $(file .version.camlp5)
CAMLP5R_VERSION    = $(file .version.camlp5r)
CAMLP5O_VERSION    = $(file .version.camlp5o)
OCAMLMKTOP_VERSION = $(file .version.ocamlmktop)

#
# Generate the rule for version checking.
#
VersionCheck(versionfile, command, ?opt = -version) =
    fullcommand = $(which $(command))

    $(versionfile): $(fullcommand)
        section eval
            tmpname = $(tmpfile version)
            $(command) $(opt) >& $(tmpname)
            version = $(cat $(tmpname))
            match $(version)
            case $".*version.\([.0-9]+\).*"
                 version = $1
                 export
            if $(mem $(version), $(CAML_VERSIONS))
                fd = $(fopen $(versionfile), w)
                fprintln($(fd), $(version))
                close($(fd))
            else
                if $(SHARED_MODE)
                    err[] =
                        $"Wrong CAML version: $(version)"
                        $(EMPTY)
                        Your MetaPRL installation in $(MP_ROOT)
                        was compiled using OCaml version $(CAML_VERSIONS)
                        You have to use the same version of OCaml for your own theories.
                    ConfMsgError($(err))
                else
                    err[] =
                        $"Unsupported CAML version: $(version)"
                        $(EMPTY)
                        $"""$(EMPTY)"$(command) $(opt)" produced the version string "$(version)"$(EMPTY)"""
                        $"You need this version to be compatible with MetaPRL,"
                        $"which is only known to work with versions $(CAML_VERSIONS)"
                        $(EMPTY)
                        $"If you believe that this list of versions is incorrect, edit"
                        $"the CAML_VERSIONS variable in the mk/defaults file."
                    ConfMsgError($(err))

VersionCheck($(OCAMLC_VERSION),     $(OCAMLC))
VersionCheck($(OCAMLOPT_VERSION),   $(OCAMLOPT))
VersionCheck($(OCAMLMKTOP_VERSION), $(OCAMLMKTOP))
section
    CAML_VERSIONS = 6.17 7.01 7.02 7.03
    VersionCheck($(CAMLP5_VERSION),     $(CAMLP5), ?opt = $"-v")
    VersionCheck($(CAMLP5R_VERSION),    $(CAMLP5R), ?opt = $"-v")
    VersionCheck($(CAMLP5O_VERSION),    $(CAMLP5O), ?opt = $"-v")

#
# XXX: This is here to make sure that Camlp5 3.08 acts the same way as 3.09
# (in 3.08 the default value is loc, but in 3.09 it's _loc).
#
LOC = -loc _loc

%.cmo %.cmi: $(OCAMLC_VERSION)
%.cmx: $(OCAMLOPT_VERSION)

########################################################################
# Installation into $(LIB) and $(BIN)
#

#
# Copy into the $(BIN) directory
#
BinInstall(files) =
    foreach(src => ..., $(files))
        $(BIN)/$(src): $(src) $(BIN)
            ln-or-cp $< $@

    $(MPINSTALL): $(addprefix $(BIN)/, $(files))

#
# Install into the $(LIB) directory.
#
LibInstallDir(subdir) =
    $(LIB)/$(subdir):
        mkdir -p $@

LibSubInstallNamed(subdir, dst, src) =
    $(LIB)/$(subdir)/$(dst): $(src) $(LIB)/$(subdir) :scanner: $(NOSCANNER)
        ln-or-cp $< $@

    $(MPINSTALL): $(LIB)/$(subdir)/$(dst)

LibSubInstall(subdir, files) =
    foreach(src => ..., $(files))
        LibSubInstallNamed($(subdir), $(basename $(src)), $(src))

LibInstall(files) =
    LibSubInstall($(EMPTY), $(files))

#
# Install into the $(EXPORT) directory.
#
ExportInstallDir(subdir) =
    $(EXPORT)/$(subdir):
        mkdir -p $@

ExportSubInstallNamed(subdir, dst, src) =
    $(EXPORT)/$(subdir)/$(dst): $(src) $(EXPORT)/$(subdir) :scanner: $(NOSCANNER)
        ln-or-cp $< $@

    $(MPINSTALL): $(EXPORT)/$(subdir)/$(dst)

ExportSubInstall(subdir, files) =
    foreach(src => ..., $(files))
        ExportSubInstallNamed($(subdir), $(basename $(src)), $(src))

ExportInstall(files) =
    ExportSubInstall($(EMPTY), $(files))

########################################################################
# MetaPRL-specific config cleaning
#

#
# Library suffix
#
if $(NATIVE_ENABLED)
   LIB_SUFFIX = .cmxa
   OBJ_SUFFIX = .opt
   export
else
   LIB_SUFFIX = .cma
   OBJ_SUFFIX = .top
   export

#
# Whether to compile a distributed version or not
#
if $(equal $(ENSROOT), undefined)
   ENSEMBLE_DIR = tactics/null
   export
else
   ENSEMBLE_DIR = tactics/ensemble
   export

#
# Include the generic caml library
#
INCLUDES += $(CAMLLIB)

#
# Generic phony targets
#
.PHONY: all install clean realclean depend tex doc

#
# Phony target for installing libraries
#
INSTALL_INTERFACES = true
MPINSTALL = mp.install
LMINSTALL = $(MPINSTALL)

.PHONY: $(MPINSTALL)

if $(SSL_ENABLED)
    if $(equal $(OSTYPE), Win32)
        OCAML_LINK_FLAGS += -cclib $(SSL_LIB_WIN32)/ssleay32MT.lib -cclib $(SSL_LIB_WIN32)/libeay32MT.lib
        CFLAGS += /DSSL_ENABLED
        INCLUDES += $(SSL_INC_WIN32)
        export
    else
        OCAML_LINK_FLAGS += -cclib -lcrypto -cclib -lssl
        CFLAGS += -DSSL_ENABLED
        INCLUDES += /usr/kerberos/include
        export
    export

if $(READLINE_ENABLED)
    CFLAGS += $(READLINE_CFLAGS)
    OCAML_LINK_FLAGS += -cclib -lreadline
    export

if $(NCURSES_ENABLED)
    CFLAGS += -DNCURSES
    OCAML_LINK_FLAGS += -cclib -lncurses
    export

if $(not $(defined MP_DEBUG))
    MP_DEBUG[] = $(split :, $(getenv MP_DEBUG, $(EMPTY)))
    export

if $(SPELLING_ENABLED)
    if $(not $(mem spell, $(MP_DEBUG)))
        MP_DEBUG[] += spell
        export
    export
else
    if $(mem spell, $(MP_DEBUG))
        MP_DEBUG[] = $(filter-out spell, $(MP_DEBUG))
        export
    export

setenv(MP_DEBUG, $(concat :, $(MP_DEBUG)))

########################################################################
# .PHONY targets that depend on all the subdirectories.
#

#
# Dependencies are collected in these files
#
THEORIES_PATH = $(file $(EDITOR)/theories.dir)
MLDEBUG_PATH  = $(file $(EDITOR)/mldebug.dir)

$(THEORIES_PATH):
    section
        deps = $(dependencies $@)
        deps = $(mapprefix -I, $(in $(EDITOR), $(deps)))
        if $(equal $(OSTYPE), Win32)
            fprintln($@, $(string $(deps)))
        else
            fprintln($@, $'INCLUDES='$(quote $(deps)))

$(MLDEBUG_PATH):
    section
        deps = $(project-directories) $(CAMLLIB) $(CAMLP5LIB)
        deps = $(mapprefix -I, $(in $(EDITOR), $(deps)))
        if $(equal $(OSTYPE), Win32)
            fprintln($@, $(string $(deps)))
        else
            fprintln($@, $'DEBUGINCLUDES='$(quote $(deps)))

########################################################################
# Default clean command line
#

MLZFILES =
MLPFILES =
CLEAN = $`(RM) *.opt *.run *.o *.obj *.lib *.cm* *.a *~ .*~ .\#* *.ppo *.ppi *.p4i *.p4o .version.* *.omc $`(addsuffix .ml, $(MLZFILES)) $`(addsuffix .mli, $(MLZFILES)) $`(addsuffix .ml, $(MLPFILES))

clean:
    $(CLEAN) mk/*.omc $(THEORIES_PATH) $(MLDEBUG_PATH)
    rm -rf $(LIB) $(BIN) $(EXPORT)

if $(not $(defined FORCE_REALCLEAN))
    FORCE_REALCLEAN = false
    export

open build/svn_realclean

realclean: clean
    $`(RM) $(find -name *.prlb)
    svn_realclean $(if $(FORCE_REALCLEAN), -f) -i .omakedb -i .omakedb.lock -i mk/config -i mk/config.local