Plasma GitLab Archive
Projects Blog Knowledge

#
# Default values for the configuration variables
#

#
# Name of the config file
#
public.CONFIG_FILE = $(file $(ROOT)/.config)

#
# Default installation path: check the environment (and the registry on Windows).
# On Unix, use /usr/local by default.
#
public.PREFIX =
    getenv(PREFIX)
        get-registry(HKEY_CURRENT_USER, Software\MetaPRL\OMake, OMAKEDIR)
            get-registry(HKEY_LOCAL_MACHINE, Software\MetaPRL\OMake, OMAKEDIR)
                private.PREFIX = $(get-registry HKEY_LOCAL_MACHINE, Software\Microsoft\Windows\CurrentVersion, ProgramFilesDir, false)
                if $(PREFIX)
                    value $(PREFIX)\OMake
                else
                    value $(if $(equal $(OSTYPE), Win32), C:\OMake, /usr/local)

PREFIX = $(dir $"$(PREFIX)")

public.BINDIR = $(dir $"$(PREFIX)/bin")
public.LIBDIR = $(dir $"$(PREFIX)/lib")

public.DEFAULT_SAVE_INTERVAL = $(if $(equal $(OSTYPE), Win32), 15, 60)

#
# Profiling is disabled by default
#
public.NATIVE_PROFILE = false

#
# C compiler and flags - check the environment
#

if $(file-exists $(CONFIG_FILE))
    include $(CONFIG_FILE)
    export

if $(file-exists $(CONFIG_FILE).local)
    include $(CONFIG_FILE).local
    export

#
# Configure
#
open configure/fam
open configure/readline
open configure/ncurses

public.FAM_ENABLED = $(FAM_AVAILABLE)
public.READLINE_ENABLED = $(READLINE_AVAILABLE)
public.NCURSES_ENABLED = $(NCURSES_AVAILABLE)

#
# ocamldep -modules is enabled by default.
#
OCAMLDEP_MODULES_ENABLED = $(OCAMLDEP_MODULES_AVAILABLE)

include mk/make_config

if $(file-exists $(CONFIG_FILE))
    include $(CONFIG_FILE)
    export

if $(file-exists $(CONFIG_FILE).local)
    include $(CONFIG_FILE).local
    export

PREFIX = $(dir $"$(PREFIX)")
BINDIR = $(dir $"$(BINDIR)")
LIBDIR = $(dir $"$(LIBDIR)")

#
# XXX This is a big hack.
#
section
   PREFIX = $(dir $(PREFIX))
   INSTALL_ROOT = $(getenv INSTALL_ROOT, $(EMPTY))

   if $(INSTALL_ROOT)
      INSTALL_BINDIR=$(dir $(INSTALL_ROOT)$(absname $(BINDIR)))
      INSTALL_LIBDIR=$(dir $(INSTALL_ROOT)$(absname $(LIBDIR)))
      export
   else
      INSTALL_BINDIR=$(BINDIR)
      INSTALL_LIBDIR=$(LIBDIR)
      export

   export INSTALL_BINDIR INSTALL_LIBDIR

if $(not $(file-exists $(CONFIG_FILE)))
    eprintln($(CONFIG_FILE) does not exist)
    MakeConfig($(CONFIG_FILE))
    eprintln($"""!!!!! A new config file '$(CONFIG_FILE)' was created for you.
!!!!! In that file, we filled in a number of default values for you.
!!!!! You may want to edit the '$(CONFIG_FILE)' file before continuing.
!!!!!
!!!!! After you are done, run omake again to continue the build process.""")
    exit(0)

.INCLUDE: $(CONFIG_FILE): mk/make_config mk/preconfig
    MakeConfig($(CONFIG_FILE))

This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml