#!/bin/sh
# vim: ft=sh ts=4 sw=4 et
#---------------------------------------------------------------------------#
# Copyright (C) 2001,2003,2007 The University of Melbourne.
# This file may only be copied under the terms of the GNU General
# Public License - see the file COPYING in the Mercury distribution.
#---------------------------------------------------------------------------#
#
# This shell script allows you to execute a version of the Mercury compiler
# that you have built in a workspace. By default, everything that the
# compilation process needs will come from that workspace: the libraries
# for the runtime system, the trace system, the Mercury standard library,
# the Boehm collector, etc. You specify the directory containing the workspace
# by setting the value of the WORKSPACE environment variable. This can be done
# by setting up a small shell script for each workspace you have:
#
# #!/bin/sh
# WORKSPACE=$HOME/mer/ws1
# export WORKSPACE
# exec $WORKSPACE/tools/lmc "$@"
#
# You can specify that the compiler executable itself should come from
# somewhere else than $WORKSPACE/compiler/mercury_compile by putting the
# pathname of the desired compiler into the environment variable
# MERCURY_COMPILER_OVERRIDE. For example, if the stage2 compiler is buggy,
# but you want to link test programs with stage2 libraries, you can set
# WORKSPACE to point to the stage2 directory but make MERCURY_COMPILER_OVERRIDE
# specify the stage1 compiler. This works because the stage1 and stage2
# compilers are *supposed* to behave identically.
#
# If you want to track down some C level bug, you can ask this script to
# pass -g to the C compiler and to the linker by setting the environment
# variable MMC_CDEBUG to the string "true".
#
# You can also ask the script to enable low level debugging of the generated
# code by setting the environment variable MMC_LOWLEVEL_DEBUG to the string
# "true", and you can ask it to enable low level debugging of tabling
# operations by setting the environment variable MMC_TABLE_DEBUG to the same
# string.
#
# You can get the C compiler to enable graph profiling on the generated code
# by setting the environment variable MMC_GPROF to the string "true".
# string.
#
# You can ask for additional C flags to compile with by setting the environment
# variable MMC_ADDED_CFLAGS to those flags. Setting up this environment
# variable one can be more convenient than repeatedly supplying
# "--cflag <flag>" arguments on the command line.
#
# If you want to track down some low level bug, you can ask this script to
# execute the Mercury compiler under gdb by setting the environment variable
# MMC_UNDER_GDB to the string "true".
#
# You can ask this script to run the Mercury compiler under valgrind by
# setting MMC_UNDER_VALGRIND to "true".  Valgrind options can be placed in
# the environment variable MMC_VALGRIND_OPTIONS.
#
# If you want to link in the shared versions of the Mercury libraries then set
# the environment variable MMC_USE_SHARED_LIBS to the extension for shared
# libraries on your system.  You also still need to pass "--mercury-linkage
# shared" to your workspace mmc script.
#

if test ! -d $WORKSPACE
then
    echo "workspace $WORKSPACE does not exist"
fi

if test "$MERCURY_COMPILER_OVERRIDE" != ""
then
    MERCURY_COMPILER=$MERCURY_COMPILER_OVERRIDE
else
    MERCURY_COMPILER=$WORKSPACE/compiler/mercury_compile
fi
export MERCURY_COMPILER

if test "$MMC_USE_SHARED_LIBS" != ""
then
    O="$MMC_USE_SHARED_LIBS"
else
    O="a"
fi

if test -s $WORKSPACE/boehm_gc/libgc.$O
then
    gclib="$WORKSPACE/boehm_gc/libgc.$O"
elif test -s $WORKSPACE/boehm_gc/libpar_gc.$O
then
    gclib="$WORKSPACE/boehm_gc/libpar_gc.$O"
elif test -s $WORKSPACE/boehm_gc/libgc_prof.$O
then
    gclib="$WORKSPACE/boehm_gc/libgc_prof.$O"
elif test -s $WORKSPACE/boehm_gc/libgc_target_debug.$O
then
    gclib="$WORKSPACE/boehm_gc/libgc_target_debug.$O"
elif test -s $WORKSPACE/boehm_gc/libpar_gc_target_debug.$O
then
    gclib="$WORKSPACE/boehm_gc/libpar_gc_target_debug.$O"
else
    echo "$WORKSPACE/boehm_gc does not have a gc library"
fi

LIB_FLAGS="\
    --link-object $WORKSPACE/trace/libmer_trace.$O \
    --link-object $WORKSPACE/trace/libmer_eventspec.$O \
    --link-object $WORKSPACE/ssdb/libmer_ssdb.$O \
    --link-object $WORKSPACE/browser/libmer_browser.$O \
    --link-object $WORKSPACE/mdbcomp/libmer_mdbcomp.$O \
    --link-object $WORKSPACE/library/libmer_std.$O \
    --link-object $WORKSPACE/runtime/libmer_rt.$O \
    --link-object $gclib \
    -lm   -ldl "

# ssdb.init is not included here because it breaks deep profiling programs
# built with lmc.
INIT_FLAGS="\
    --trace-init-file $WORKSPACE/browser/mer_browser.init \
    --trace-init-file $WORKSPACE/mdbcomp/mer_mdbcomp.init \
    --init-file $WORKSPACE/library/mer_std.init \
    --init-file $WORKSPACE/runtime/mer_rt.init"

LINK_FLAGS=""

if test "$MMC_CDEBUG" != ""
then
    CDEBUG_FLAGS="--target-debug --cflags -O0"
else
    CDEBUG_FLAGS=""
fi

if test "$MMC_LOWLEVEL_DEBUG" != ""
then
    CDEBUG_FLAGS="$CDEBUG_FLAGS --cflags -DMR_LOWLEVEL_DEBUG"
fi

if test "$MMC_TABLE_DEBUG" != ""
then
    CDEBUG_FLAGS="$CDEBUG_FLAGS --cflags -DMR_TABLE_DEBUG"
fi

if test "$MMC_GPROF" != ""
then
    CDEBUG_FLAGS="$CDEBUG_FLAGS --target-debug --cflags -pg --cflags --no-omit-frame-pointer"
    LINK_FLAGS="--ld-flags -pg"
fi

if test "$MMC_ADDED_CFLAGS" != ""
then
    CDEBUG_FLAGS="$CDEBUG_FLAGS --cflags \"$MMC_ADDED_CFLAGS\""
fi

C_FLAGS="--c-include-directory $WORKSPACE/trace \
    --c-include-directory $WORKSPACE/library \
    --c-include-directory $WORKSPACE/library/Mercury/mhs \
    --c-include-directory $WORKSPACE/library/Mercury/mihs \
    --c-include-directory $WORKSPACE/ssdb \
    --c-include-directory $WORKSPACE/ssdb/Mercury/mhs \
    --c-include-directory $WORKSPACE/ssdb/Mercury/mihs \
    --c-include-directory $WORKSPACE/runtime \
    --c-include-directory $WORKSPACE/boehm_gc \
    --c-include-directory $WORKSPACE/boehm_gc/include"

if test "$MMC_UNDER_GDB" != ""
then
    MERCURY_COMPILER="$WORKSPACE/tools/gdbrun $MERCURY_COMPILER"
    export MERCURY_COMPILER
fi

if test "$MMC_UNDER_VALGRIND" != ""
then
    MERCURY_COMPILER="valgrind $MMC_VALGRIND_OPTIONS $MERCURY_COMPILER"
    export MERCURY_COMPILER
fi

PATH="$WORKSPACE/scripts:$WORKSPACE/util:$PATH"
export PATH
exec mmc --no-mercury-stdlib-dir \
    --config-file $WORKSPACE/scripts/Mercury.config \
    -I $WORKSPACE/library \
    -I $WORKSPACE/mdbcomp \
    -I $WORKSPACE/ssdb \
    $CDEBUG_FLAGS $C_FLAGS $INIT_FLAGS $LIB_FLAGS $LINK_FLAGS "$@"
