src/Tools/jEdit/nbproject/project.properties
author immler@in.tum.de
Sun, 11 Jan 2009 13:16:35 +0100
changeset 34465 ccadbf63e320
parent 34393 f0e1608a774f
child 34563 0c1c8f8ee384
permissions -rw-r--r--
added EventBus for new command- or keyword-declarations
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
34322
12bf97b7fc9d basic setup for running jEdit;
wenzelm
parents: 34320
diff changeset
     1
application.title=Isabelle-jEdit
12bf97b7fc9d basic setup for running jEdit;
wenzelm
parents: 34320
diff changeset
     2
application.vendor=makarius
34331
2cb3369f0634 refined application.args;
wenzelm
parents: 34328
diff changeset
     3
application.args=-noserver -nobackground
34320
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
     4
build.classes.dir=${build.dir}/classes
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
     5
build.classes.excludes=**/*.java,**/*.form,**/*.scala
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
     6
# This directory is removed when the project is cleaned:
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
     7
build.dir=build
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
     8
build.generated.dir=${build.dir}/generated
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
     9
# Only compile against the classpath explicitly listed here:
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    10
build.sysclasspath=ignore
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    11
build.test.classes.dir=${build.dir}/test/classes
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    12
build.test.results.dir=${build.dir}/test/results
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    13
debug.classpath=\
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    14
    ${run.classpath}
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    15
debug.test.classpath=\
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    16
    ${run.test.classpath}
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    17
# This directory is removed when the project is cleaned:
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    18
dist.dir=dist
34352
74ddfd2cf5a5 using 'dist' directory for jEdit-settings => find Isabelle-plugin directly
immler@in.tum.de
parents: 34331
diff changeset
    19
# dist can be used as jEdits settings-directory;
74ddfd2cf5a5 using 'dist' directory for jEdit-settings => find Isabelle-plugin directly
immler@in.tum.de
parents: 34331
diff changeset
    20
# jEdit searches for plugins in the 'jars' subdirectory
74ddfd2cf5a5 using 'dist' directory for jEdit-settings => find Isabelle-plugin directly
immler@in.tum.de
parents: 34331
diff changeset
    21
# must include something like this to private.properties:
74ddfd2cf5a5 using 'dist' directory for jEdit-settings => find Isabelle-plugin directly
immler@in.tum.de
parents: 34331
diff changeset
    22
# application.args=-noserver -nobackground -settings=/absolute/path/to/project/dist
74ddfd2cf5a5 using 'dist' directory for jEdit-settings => find Isabelle-plugin directly
immler@in.tum.de
parents: 34331
diff changeset
    23
# 
74ddfd2cf5a5 using 'dist' directory for jEdit-settings => find Isabelle-plugin directly
immler@in.tum.de
parents: 34331
diff changeset
    24
dist.jar=${dist.dir}/jars/Isabelle-jEdit.jar
34320
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    25
dist.javadoc.dir=${dist.dir}/javadoc
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    26
excludes=
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    27
file.reference.isabelle-jedit-src=src
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    28
file.reference.jedit.jar=/home/makarius/lib/jedit/current/jedit.jar
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    29
includes=**
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    30
jar.compress=false
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    31
java.platform.active=java_default_platform
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    32
javac.classpath=\
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    33
    ${libs.Flying-Saucer.classpath}:\
34381
a94d2fb96fd5 basic setup for auxiliary project "jEdit", with full sources, debugging, profiling;
wenzelm
parents: 34352
diff changeset
    34
    ${reference.jEdit.build}:\
34393
f0e1608a774f basic tree structure for sidekick
immler@in.tum.de
parents: 34381
diff changeset
    35
    ${libs.Isabelle-Pure.classpath}:\
f0e1608a774f basic tree structure for sidekick
immler@in.tum.de
parents: 34381
diff changeset
    36
    ${libs.Sidekick.classpath}:\
f0e1608a774f basic tree structure for sidekick
immler@in.tum.de
parents: 34381
diff changeset
    37
    ${libs.ErrorList.classpath}
34320
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    38
# Space-separated list of extra javac options
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    39
javac.compilerargs=
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    40
javac.deprecation=false
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    41
javac.source=1.5
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    42
javac.target=1.5
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    43
javac.test.classpath=\
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    44
    ${javac.classpath}:\
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    45
    ${build.classes.dir}:\
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    46
    ${libs.junit.classpath}:\
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    47
    ${libs.junit_4.classpath}
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    48
javadoc.additionalparam=
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    49
javadoc.author=false
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    50
javadoc.encoding=${source.encoding}
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    51
javadoc.noindex=false
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    52
javadoc.nonavbar=false
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    53
javadoc.notree=false
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    54
javadoc.private=false
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    55
javadoc.splitindex=true
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    56
javadoc.use=true
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    57
javadoc.version=false
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    58
javadoc.windowtitle=
34322
12bf97b7fc9d basic setup for running jEdit;
wenzelm
parents: 34320
diff changeset
    59
main.class=org.gjt.sp.jedit.jEdit
34320
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    60
manifest.file=manifest.mf
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    61
meta.inf.dir=${src.dir}/META-INF
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    62
platform.active=default_platform
34381
a94d2fb96fd5 basic setup for auxiliary project "jEdit", with full sources, debugging, profiling;
wenzelm
parents: 34352
diff changeset
    63
project.jEdit=contrib/jEdit
a94d2fb96fd5 basic setup for auxiliary project "jEdit", with full sources, debugging, profiling;
wenzelm
parents: 34352
diff changeset
    64
reference.jEdit.build=${project.jEdit}/build/jEdit.jar
34320
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    65
run.classpath=\
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    66
    ${javac.classpath}:\
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    67
    ${build.classes.dir}
34322
12bf97b7fc9d basic setup for running jEdit;
wenzelm
parents: 34320
diff changeset
    68
run.jvmargs=-Xms128m -Xmx512m
34320
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    69
run.test.classpath=\
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    70
    ${javac.test.classpath}:\
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    71
    ${build.test.classes.dir}
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    72
source.encoding=UTF-8
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    73
src.dir=${file.reference.isabelle-jedit-src}