lib/Tools/make
author wenzelm
Thu Feb 06 18:40:23 1997 +0100 (1997-02-06)
changeset 2593 012be3cc5203
parent 2501 632e126852fc
child 3007 e5efa177ee0c
permissions -rwxr-xr-x
removed getplatform, ISABELLE_OUTPUT_DIR;
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
exec make -f IsaMakefile "$@"