src/Tools/jEdit/nbproject/project.properties
changeset 34322 12bf97b7fc9d
parent 34320 883dc8fc3328
child 34328 be2e9e6726af
equal deleted inserted replaced
34321:3d55eda3d87c 34322:12bf97b7fc9d
       
     1 application.title=Isabelle-jEdit
       
     2 application.vendor=makarius
     1 build.classes.dir=${build.dir}/classes
     3 build.classes.dir=${build.dir}/classes
     2 build.classes.excludes=**/*.java,**/*.form,**/*.scala
     4 build.classes.excludes=**/*.java,**/*.form,**/*.scala
     3 # This directory is removed when the project is cleaned:
     5 # This directory is removed when the project is cleaned:
     4 build.dir=build
     6 build.dir=build
     5 build.generated.dir=${build.dir}/generated
     7 build.generated.dir=${build.dir}/generated
    44 javadoc.private=false
    46 javadoc.private=false
    45 javadoc.splitindex=true
    47 javadoc.splitindex=true
    46 javadoc.use=true
    48 javadoc.use=true
    47 javadoc.version=false
    49 javadoc.version=false
    48 javadoc.windowtitle=
    50 javadoc.windowtitle=
    49 main.class=
    51 main.class=org.gjt.sp.jedit.jEdit
    50 manifest.file=manifest.mf
    52 manifest.file=manifest.mf
    51 meta.inf.dir=${src.dir}/META-INF
    53 meta.inf.dir=${src.dir}/META-INF
    52 platform.active=default_platform
    54 platform.active=default_platform
    53 run.classpath=\
    55 run.classpath=\
    54     ${javac.classpath}:\
    56     ${javac.classpath}:\
    55     ${build.classes.dir}
    57     ${build.classes.dir}
    56 # Space-separated list of JVM arguments used when running the project
    58 run.jvmargs=-Xms128m -Xmx512m
    57 # (you may also define separate properties like run-sys-prop.name=value instead of -Dname=value
       
    58 # or test-sys-prop.name=value to set system properties for unit tests):
       
    59 run.jvmargs=
       
    60 run.test.classpath=\
    59 run.test.classpath=\
    61     ${javac.test.classpath}:\
    60     ${javac.test.classpath}:\
    62     ${build.test.classes.dir}
    61     ${build.test.classes.dir}
    63 source.encoding=UTF-8
    62 source.encoding=UTF-8
    64 src.dir=${file.reference.isabelle-jedit-src}
    63 src.dir=${file.reference.isabelle-jedit-src}