lib/Tools/make
author wenzelm
Sat Jul 25 10:31:27 2009 +0200 (2009-07-25)
changeset 32187 cca43ca13f4f
parent 29143 72c960b2b83e
permissions -rwxr-xr-x
renamed structure Display_Goal to Goal_Display;
     1 #!/usr/bin/env bash
     2 #
     3 # Author: Markus Wenzel, TU Muenchen
     4 #
     5 # DESCRIPTION: Isabelle make utility
     6 
     7 
     8 PRG="$(basename "$0")"
     9 
    10 function usage()
    11 {
    12   echo
    13   echo "Usage: isabelle $PRG [ARGS ...]"
    14   echo
    15   echo "  Compile the logic in current directory using IsaMakefile."
    16   echo "  ARGS are directly passed to the system make program."
    17   echo
    18   exit 1
    19 }
    20 
    21 
    22 ## main
    23 
    24 [ "$1" = "-?" ] && usage
    25 
    26 exec make -f IsaMakefile "$@"