|
25746
|
1 |
#!/bin/bash
|
|
|
2 |
# $Id$
|
|
|
3 |
|
|
|
4 |
rm -rf build/ && mkdir -p build
|
|
|
5 |
|
|
27632
|
6 |
rm -f isabelle.jar
|
|
|
7 |
|
|
25746
|
8 |
javac -d build isabelle/IsabelleProcess.java \
|
|
25852
|
9 |
&& (
|
|
25746
|
10 |
cd build
|
|
25852
|
11 |
jar cf ../isabelle.jar isabelle/*.class
|
|
|
12 |
)
|
|
|
13 |
|
|
|
14 |
rm -rf build/
|