lib/Tools/make
author wenzelm
Wed Dec 18 12:47:28 1996 +0100 (1996-12-18)
changeset 2437 63249c1c544a
child 2501 632e126852fc
permissions -rwxr-xr-x
Isabelle make utility;
wenzelm@2437
     1
#!/bin/bash -norc
wenzelm@2437
     2
#
wenzelm@2437
     3
# $Id$
wenzelm@2437
     4
#
wenzelm@2437
     5
# DESCRIPTION: Isabelle make utility
wenzelm@2437
     6
wenzelm@2437
     7
wenzelm@2437
     8
PRG=$(basename $0)
wenzelm@2437
     9
wenzelm@2437
    10
function usage()
wenzelm@2437
    11
{
wenzelm@2437
    12
  echo
wenzelm@2437
    13
  echo "Usage: $PRG [ARGS ...]"
wenzelm@2437
    14
  echo
wenzelm@2437
    15
  echo "  Compiles logic in current directory using IsaMakefile."
wenzelm@2437
    16
  echo "  ARGS are directly passed to the system make program."
wenzelm@2437
    17
  echo
wenzelm@2437
    18
  exit 1
wenzelm@2437
    19
}
wenzelm@2437
    20
wenzelm@2437
    21
wenzelm@2437
    22
## main
wenzelm@2437
    23
wenzelm@2437
    24
[ "$1" = "-?" ] && usage
wenzelm@2437
    25
wenzelm@2437
    26
wenzelm@2437
    27
. $ISABELLE_HOME/lib/scripts/getplatform
wenzelm@2437
    28
wenzelm@2437
    29
export ISABELLE_OUTPUT_DIR="$ISABELLE_OUTPUT/$ML_SYSTEM-$PLATFORM"
wenzelm@2437
    30
wenzelm@2437
    31
exec make -f IsaMakefile "$@"