lib/browser/build

Cycle breaking in the bounds takes care of singly recursive datatypes, so we don't need to do it again;
the effect of removing the constraint varies on problem to problem, but it tends to be overwhelmingly negative in conjuction with the new datatype sym breaking stuff at high cardinalities

#!/usr/bin/env bash
#
# Author: Makarius
#
# mk - build graph browser
#
# Requires proper Isabelle settings environment.


## diagnostics

function fail()
{
  echo "$1" >&2
  exit 2
}

[ -n "$ISABELLE_HOME" ] || fail "Missing Isabelle settings environment"


## dependencies

declare -a SOURCES=(
  GraphBrowser/AWTFontMetrics.java
  GraphBrowser/AbstractFontMetrics.java
  GraphBrowser/Box.java
  GraphBrowser/Console.java
  GraphBrowser/DefaultFontMetrics.java
  GraphBrowser/Directory.java
  GraphBrowser/DummyVertex.java
  GraphBrowser/Graph.java
  GraphBrowser/GraphBrowser.java
  GraphBrowser/GraphBrowserFrame.java
  GraphBrowser/GraphView.java
  GraphBrowser/NormalVertex.java
  GraphBrowser/ParseError.java
  GraphBrowser/Region.java
  GraphBrowser/Spline.java
  GraphBrowser/TreeBrowser.java
  GraphBrowser/TreeNode.java
  GraphBrowser/Vertex.java
  awtUtilities/Border.java
  awtUtilities/MessageDialog.java
  awtUtilities/TextFrame.java
)

TARGET="$ISABELLE_HOME/lib/browser/GraphBrowser.jar"


## main

OUTDATED=false

for SOURCE in "${SOURCES[@]}"
do
  [ ! -e "$SOURCE" ] && fail "Missing source file: $SOURCE"
  [ ! -e "$TARGET" -o "$SOURCE" -nt "$TARGET" ] && OUTDATED=true
done

if [ "$OUTDATED" = true ]
then
  echo "###"
  echo "### Building graph browser ..."
  echo "###"

  rm -rf classes && mkdir classes

  javac -d classes -source 1.4 "${SOURCES[@]}" || \
    fail "Failed to compile sources"
  jar cf "$(jvmpath "$TARGET")" -C classes . ||
    fail "Failed to produce $TARGET"

  rm -rf classes
fi