basic launch4j setup;
authorwenzelm
Tue Jun 30 00:46:28 2009 +0200 (2009-06-30)
changeset 31858bf711eb92f84
parent 31857 05c5bb16a887
child 31859 7130ead05fdd
child 31860 e49011bb85da
basic launch4j setup;
Admin/launch4j/README
Admin/launch4j/isabelle.xml
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/Admin/launch4j/README	Tue Jun 30 00:46:28 2009 +0200
     1.3 @@ -0,0 +1,5 @@
     1.4 +Cross-platform Java executable wrapper
     1.5 +======================================
     1.6 +
     1.7 +* http://launch4j.sourceforge.net
     1.8 +
     2.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     2.2 +++ b/Admin/launch4j/isabelle.xml	Tue Jun 30 00:46:28 2009 +0200
     2.3 @@ -0,0 +1,23 @@
     2.4 +<launch4jConfig>
     2.5 +  <dontWrapJar>true</dontWrapJar>
     2.6 +  <headerType>gui</headerType>
     2.7 +  <jar>lib/classes/isabelle-scala.jar</jar>
     2.8 +  <outfile>Isabelle.exe</outfile>
     2.9 +  <errTitle></errTitle>
    2.10 +  <cmdLine></cmdLine>
    2.11 +  <chdir></chdir>
    2.12 +  <priority>normal</priority>
    2.13 +  <downloadUrl>http://java.com/download</downloadUrl>
    2.14 +  <supportUrl></supportUrl>
    2.15 +  <customProcName>false</customProcName>
    2.16 +  <stayAlive>false</stayAlive>
    2.17 +  <manifest></manifest>
    2.18 +  <icon></icon>
    2.19 +  <jre>
    2.20 +    <path></path>
    2.21 +    <minVersion>1.6.0</minVersion>
    2.22 +    <maxVersion></maxVersion>
    2.23 +    <jdkPreference>preferJre</jdkPreference>
    2.24 +    <opt>-Disabelle.home=&quot;%EXEDIR%&quot;</opt>
    2.25 +  </jre>
    2.26 +</launch4jConfig>
    2.27 \ No newline at end of file