#!/usr/bin/env bash
# Goals local run.
# Copyright (C) 2019 Richard W.M. Jones
# Copyright (C) 2019 Red Hat Inc.
# @configure_input@
#
# This program is free software; you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
# the Free Software Foundation; either version 2 of the License, or
# (at your option) any later version.
#
# This program is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public License along
# with this program; if not, write to the Free Software Foundation, Inc.,
# 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.

# Use ./run goals ... to run goals from a locally compiled copy.

# Function to intelligently prepend a path to an environment variable.
# See http://stackoverflow.com/a/9631350
prepend()
{
    eval $1="$2\${$1:+:\$$1}"
}

# Source and build directories (absolute paths so this works from any
# directory).
s="$(cd @abs_srcdir@ && pwd)"
b="$(cd @abs_builddir@ && pwd)"

# Set PATH to include goals binary.
prepend PATH "$b/src"

# Set up environment variables to add default flags.
export GOALS_DATADIR="$b"

# Set OCAMLRUNPARAM so stack traces are displayed, but don't
# override the user's value.
if [ -z "$OCAMLRUNPARAM" ]; then export OCAMLRUNPARAM=b; fi

# Run the program.
#echo "$@"
exec "$@"