run.in

   1 #!/usr/bin/env bash
   2 # Goals local run.
   3 # Copyright (C) 2019 Richard W.M. Jones
   4 # Copyright (C) 2019 Red Hat Inc.
   5 # @configure_input@
   6 #
   7 # This program is free software; you can redistribute it and/or modify
   8 # it under the terms of the GNU General Public License as published by
   9 # the Free Software Foundation; either version 2 of the License, or
  10 # (at your option) any later version.
  11 #
  12 # This program is distributed in the hope that it will be useful,
  13 # but WITHOUT ANY WARRANTY; without even the implied warranty of
  14 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  15 # GNU General Public License for more details.
  16 #
  17 # You should have received a copy of the GNU General Public License along
  18 # with this program; if not, write to the Free Software Foundation, Inc.,
  19 # 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
  20
  21 # Use ./run goals ... to run goals from a locally compiled copy.
  22
  23 # Function to intelligently prepend a path to an environment variable.
  24 # See http://stackoverflow.com/a/9631350
  25 prepend()
  26 {
  27     eval $1="$2\${$1:+:\$$1}"
  28 }
  29
  30 # Source and build directories (absolute paths so this works from any
  31 # directory).
  32 s="$(cd @abs_srcdir@ && pwd)"
  33 b="$(cd @abs_builddir@ && pwd)"
  34
  35 # Set PATH to include goals binary.
  36 prepend PATH "$b/src"
  37
  38 # Set up environment variables to add default flags.
  39 export GOALS_DATADIR="$b"
  40
  41 # Run the program.
  42 #echo "$@"
  43 exec "$@"