wneuper/isa: lib/Tools/document@25fb7241f32e

     1 #!/usr/bin/env bash

2 #

     3 # $Id$

     4 # Author: Markus Wenzel, TU Muenchen

5 #

     6 # DESCRIPTION: prepare theory session document

     9 PRG="$(basename "$0")"

    11 function usage()

    12 {

    13   echo

    14   echo "Usage: $PRG [OPTIONS] [DIR]"

    15   echo

    16   echo "  Options are:"

    17   echo "    -c           cleanup -- be aggressive in removing old stuff"

    18   echo "    -n NAME      specify document name (default 'document')"

    19   echo "    -o FORMAT    specify output format: dvi (default), dvi.gz, ps, ps.gz, pdf"

    20   echo "    -t TAGS      specify tagged region markup"

    21   echo

    22   echo "  Prepare the theory session document in DIR (default 'document')"

    23   echo "  producing the specified output format."

    24   echo

    25   exit 1

    26 }

    28 function fail()

    29 {

    30   echo "$1" >&2

    31   exit 2

    32 }

    35 ## process command line

    37 # options

    39 CLEAN=""

    40 NAME="document"

    41 OUTFORMAT=dvi

    42 TAGS=""

    44 while getopts "cn:o:t:" OPT

    45 do

    46   case "$OPT" in

    47     c)

    48       CLEAN=true

    49       ;;

    50     n)

    51       NAME="$OPTARG"

    52       ;;

    53     o)

    54       OUTFORMAT="$OPTARG"

    55       ;;

    56     t)

    57       TAGS="$OPTARG"

    58       ;;

    59     \?)

    60       usage

    61       ;;

    62   esac

    63 done

    65 shift $(($OPTIND - 1))

    68 # args

    70 DIR="document"

    71 [ "$#" -ge 1 ] && { DIR="$1"; shift; }

    73 [ "$#" -ne 0 ] && usage

    76 ## main

    78 # check format

    80 case "$OUTFORMAT" in

    81   dvi | dvi.gz | ps | ps.gz | pdf)

    82     ;;

    83   *)

    84     fail "Bad output format '$OUTFORMAT'"

    85     ;;

    86 esac

    89 # tagged region markup

    91 function prep_tags ()

    92 {

    93   (

    94     IFS=","

    95     for TAG in $TAGS

    96     do

    97       case "$TAG" in

    98         /*)

    99   	  echo "\\isafoldtag{${TAG:1}}"

   100           ;;

   101         -*)

   102   	  echo "\\isadroptag{${TAG:1}}"

   103           ;;

   104         +*)

   105   	  echo "\\isakeeptag{${TAG:1}}"

   106           ;;

   107         *)

   108   	  echo "\\isakeeptag{${TAG}}"

   109           ;;

   110       esac

   111     done

   112   ) > isabelletags.sty

   113 }

   116 # prepare document

   118 function pre_latex ()

   119 {

   120   local FMT="$1"

   121   [ -n "$CLEAN" ] && rm -f *.aux *.out *.ind *.idx *.ilg *.bbl *.blg *.log

   122   "$ISATOOL" latex -o sty && \

   123   "$ISATOOL" latex -o "$FMT" && \

   124   { [ ! -f root.bib ] || "$ISATOOL" latex -o bbl; } && \

   125   { [ ! -f root.idx ] || "$ISATOOL" latex -o idx; } && \

   126   "$ISATOOL" latex -o "$FMT"

   127 }

   129 (

   130   cd "$DIR" || fail "Bad directory '$DIR'"

   132   [ -n "$CLEAN" ] && rm -f "../$NAME.$OUTFORMAT"

   134   prep_tags

   136   if [ -f IsaMakefile ]; then

   137     "$ISATOOL" make "$OUTFORMAT"

   138     RC="$?"

   139   elif [ "$OUTFORMAT" = pdf ]; then

   140     pre_latex pdf && \

   141     "$ISATOOL" latex -o pdf && \

   142     RC="$?"

   143   else

   144     pre_latex dvi && \

   145     "$ISATOOL" latex -o "$OUTFORMAT"

   146     RC="$?"

   147   fi

   149   if [ "$RC" -eq 0 -a -f "root.$OUTFORMAT" ]; then

   150     cp -f "root.$OUTFORMAT" "../$NAME.$OUTFORMAT"

   151   fi

   153   exit "$RC"

   154 )

   155 RC="$?"

   158 # install

   160 [ "$RC" -ne 0 ] && fail "Document preparation failure in directory '$DIR'"

   162 #beware!

   163 [ -n "$CLEAN" ] && rm -rf "$DIR"

   165 exit "$RC"

author	wenzelm
	Thu, 15 May 2008 20:02:37 +0200
changeset 26908	25fb7241f32e
parent 17049	ee573216713a
child 26979	c58778bdf146
permissions	-rwxr-xr-x