Admin/launch4j/isabelle.xml
author wenzelm
Sun Apr 22 15:19:46 2012 +0200 (2012-04-22)
changeset 47662 206bf8c4860d
parent 31921 f39825f8bfd3
child 47665 2cbf029abca9
permissions -rw-r--r--
updated Isabelle.exe specification, assuming layout of bundle;
     1 <launch4jConfig>
     2   <dontWrapJar>true</dontWrapJar>
     3   <headerType>gui</headerType>
     4   <jar></jar>
     5   <outfile>Isabelle.exe</outfile>
     6   <errTitle></errTitle>
     7   <cmdLine></cmdLine>
     8   <chdir></chdir>
     9   <priority>normal</priority>
    10   <downloadUrl></downloadUrl>
    11   <supportUrl></supportUrl>
    12   <customProcName>false</customProcName>
    13   <stayAlive>true</stayAlive>
    14   <manifest></manifest>
    15   <icon>isabelle.ico</icon>
    16   <classPath>
    17     <mainClass>isabelle.GUI_Setup</mainClass>
    18     <cp>lib\classes\ext\Pure.jar</cp>
    19     <cp>lib\classes\ext\scala-library.jar</cp>
    20     <cp>lib\classes\ext\scala-swing.jar</cp>
    21   </classPath>
    22   <jre>
    23     <path>contrib\jdk-7u3_x86-cygwin\jdk1.7.0_03</path>
    24     <minVersion></minVersion>
    25     <maxVersion></maxVersion>
    26     <jdkPreference>jdkOnly</jdkPreference>
    27     <opt>-Disabelle.home=&quot;%EXEDIR%&quot;</opt>
    28   </jre>
    29 </launch4jConfig>