#!/bin/sh
#*=====================================================================*/
#*    serrano/prgm/project/bigloo/work/bmem/bmemrun                    */
#*    -------------------------------------------------------------    */
#*    Author      :  Manuel Serrano                                    */
#*    Creation    :  Sun Apr 20 09:35:07 2003                          */
#*    Last change :  Tue Apr 22 11:58:36 2003 (serrano)                */
#*    Copyright   :  2003 Manuel Serrano                               */
#*    -------------------------------------------------------------    */
#*    The script shell to monitor memory allocations of Bigloo prgrms  */
#*=====================================================================*/

#*---------------------------------------------------------------------*/
#*    Configuration                                                    */
#*---------------------------------------------------------------------*/
lib=/usr/lib/bigloo/2.6e/bmem/bmem.so
exe=a.out
bmon=

#*---------------------------------------------------------------------*/
#*    Argument parsing                                                 */
#*---------------------------------------------------------------------*/
while : ; do
  case $1 in
    "")
      break;;

    -h|--help)
      echo "bmem: [options] exe [arg1] [arg2]..." >&2;
      echo "  -h|--help          -- This message" >&2;
      exit 0;;

    *)
      exe=$1;
      shift;
      args=$*;
      if [ "$bmon " = " " ]; then
        bmon="`echo $1 | sed 's/[.][^.]*$//'`.bmem";
        bmon=`basename $bmon`;
      fi;
      break;;

  esac
  shift
done

#*---------------------------------------------------------------------*/
#*    Run the program                                                  */
#*---------------------------------------------------------------------*/
LD_PRELOAD="$lib" $exe $args
