Admin/build
changeset 27629 ec92e8eb6a1e
parent 27628 901656b3205d
child 27649 cb26fe3ea037
equal deleted inserted replaced
27628:901656b3205d 27629:ec92e8eb6a1e
     1 #!/usr/bin/env bash
     1 #!/usr/bin/env bash
     2 #
     2 #
     3 # $Id$
     3 # $Id$
     4 #
     4 #
     5 # Administrative build -- finish Isabelle source distribution.
     5 # Administrative build for Isabelle source distribution.
     6 
     6 
     7 ## global environment
     7 ## global environment
     8 
     8 
     9 #paranoia setting for sunbroy
     9 #paranoia setting for sunbroy
    10 PATH="/usr/local/dist/DIR/j2sdk1.5.0/bin:$PATH"
    10 PATH="/usr/local/dist/DIR/j2sdk1.5.0/bin:$PATH"
    96     cd "$ISABELLE_DIR/doc-src"
    96     cd "$ISABELLE_DIR/doc-src"
    97   fi
    97   fi
    98 
    98 
    99   for DOC in $(cat Dirs)
    99   for DOC in $(cat Dirs)
   100   do
   100   do
   101     pushd "$DOC" > /dev/null
   101     pushd "$DOC" >/dev/null
   102     make clean dvi || fail "DVI document for $DOC failed!"
   102     make clean dvi || fail "DVI document for $DOC failed!"
   103     make clean pdf || fail "PDF document for $DOC failed!"
   103     make clean pdf || fail "PDF document for $DOC failed!"
   104     popd
   104     popd >/dev/null
   105   done
   105   done
   106 }
   106 }
   107 
   107 
   108 
   108 
   109 function build_jars ()
   109 function build_jars ()
   116     cd "$ISABELLE_DIR/Distribution"
   116     cd "$ISABELLE_DIR/Distribution"
   117   else
   117   else
   118     cd "$ISABELLE_DIR"
   118     cd "$ISABELLE_DIR"
   119   fi
   119   fi
   120 
   120 
   121   pushd lib/classes
   121   pushd lib/classes >/dev/null
   122   ./mk
   122   ./mk
   123   [ -f isabelle.jar ] || fail "Failed to build Isabelle process wrapper!"
   123   [ -f isabelle.jar ] || fail "Failed to build Isabelle process wrapper!"
   124   popd
   124   popd >/dev/null
   125 
   125 
   126   type -p scalac || fail "Scala compiler unavailable"
   126   type -p scalac >/dev/null || fail "Scala compiler unavailable"
   127   pushd lib/jedit/plugin
   127   pushd lib/jedit/plugin >/dev/null
   128   ./mk
   128   ./mk
   129   [ -f ../isabelle.jar ] || fail "Failed to build jEdit plugin!"
   129   [ -f ../isabelle.jar ] || fail "Failed to build jEdit plugin!"
   130   popd
   130   popd >/dev/null
   131 }
   131 }
   132 
   132 
   133 
   133 
   134 ## main
   134 ## main
   135 
   135