changeset 57032 | cf570f3ecdc1 |
parent 57031 | 30ee1453a954 |
child 57033 | b24e2b83917f |
57031:30ee1453a954 | 57032:cf570f3ecdc1 |
---|---|
1 # -*- shell-script -*- :mode=shellscript: |
|
2 |
|
3 GRAPHVIEW_HOME="$COMPONENT" |
|
4 |
|
5 GRAPHVIEW_JAVA_OPTIONS="-Xms128m -Xmx1024m -Xss4m" |
|
6 GRAPHVIEW_JAR="$ISABELLE_HOME/lib/classes/Graphview.jar" |
|
7 classpath "$GRAPHVIEW_JAR" |
|
8 |
|
9 ISABELLE_TOOLS="$ISABELLE_TOOLS:$GRAPHVIEW_HOME/lib/Tools" |
|
10 |