src/Tools/JVM/build
author wenzelm
Sat, 07 Apr 2012 16:41:59 +0200
changeset 47389 e8552cba702d
parent 45385 7c1375ba1424
permissions -rwxr-xr-x
explicit checks stable_finished_theory/stable_command allow parallel asynchronous command transactions; tuned;

#!/usr/bin/env bash
#
# Author: Makarius
#
# Offline build script for JVM tools.

## diagnostics

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


## build

cd "$(dirname "$0")"

SOURCE="Java_Ext_Dirs.java"
TARGET="java_ext_dirs.jar"

BUILD="build_dir$$"
TMP_JAR="java_ext_dirs$$.jar"

rm -rf "$BUILD" && mkdir "$BUILD"
javac -source 1.4 -target 1.4 -d "$BUILD" "$SOURCE" || fail "Failed to compile sources"
jar cf "$TMP_JAR" -C "$BUILD" . || fail "Failed to produce \"$TMP_JAR\""
mv "$TMP_JAR" "$TARGET"
rm -rf "$BUILD"