Menu ▾ ▴

[r5763]: / branches / drjava-hj / build.sh  Maximize  Restore  History

Download this file

44 lines (39 with data), 722 Bytes 

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
#!/bin/sh



check_error()

{

    if [ $# -gt 2 ]; then

	echo "Error in check_error call";

	exit 1;

    fi;

    ERRCODE="$1";

    if [ "$ERRCODE" = "0" ]; then

	return 0;

    fi;

    if [ $# -eq 2 ]; then

	ERRMESSAGE="$2";

    else

	ERRMESSAGE="Error";

    fi;

    echo "$ERRMESSAGE";

    exit $ERRCODE;

}



if [[ -z "${JAVA5_HOME}" ]]; then

    export JAVA5_HOME=${JAVA_HOME}

fi



cd drjava

ant jar

check_error "$?" "pre drjava.jar failed";

cd ..



cd platform

export DRJAVA_JAR=../drjava/drjava.jar

ant compile-hj

check_error "$?" "ant compile-hj failed";

ant jar

check_error "$?" "ant platform.jar failed";

mv platform.jar ../drjava/lib

cd ..



cd drjava

rm -Rf classes

ant jar

check_error "$?" "post drjava.jar failed";

cd ..