#
# 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))