src/Tools/jEdit/nbproject/project.properties
author wenzelm
Fri, 08 Jan 2010 12:25:37 +0100
changeset 34842 2f6f9b6099b2
parent 34761 0ad6d8372f9d
child 36013 8cc25cfd5325
permissions -rw-r--r--
added jEdit Console and Scala compiler;
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=\
34381
a94d2fb96fd5 basic setup for auxiliary project "jEdit", with full sources, debugging, profiling;
wenzelm
parents: 34352
diff changeset
    33
    ${reference.jEdit.build}:\
34393
f0e1608a774f basic tree structure for sidekick
immler@in.tum.de
parents: 34381
diff changeset
    34
    ${libs.Isabelle-Pure.classpath}:\
34761
0ad6d8372f9d tuned library names;
wenzelm
parents: 34758
diff changeset
    35
    ${libs.Cobra-Renderer.classpath}:\
0ad6d8372f9d tuned library names;
wenzelm
parents: 34758
diff changeset
    36
    ${libs.Rhino-JavaScript.classpath}:\
34563
0c1c8f8ee384 added hyperlink plugin
immler@in.tum.de
parents: 34393
diff changeset
    37
    ${libs.ErrorList.classpath}:\
34761
0ad6d8372f9d tuned library names;
wenzelm
parents: 34758
diff changeset
    38
    ${libs.Hyperlinks.classpath}:\
34842
2f6f9b6099b2 added jEdit Console and Scala compiler;
wenzelm
parents: 34761
diff changeset
    39
    ${libs.SideKick.classpath}:\
2f6f9b6099b2 added jEdit Console and Scala compiler;
wenzelm
parents: 34761
diff changeset
    40
    ${libs.Console.classpath}:\
2f6f9b6099b2 added jEdit Console and Scala compiler;
wenzelm
parents: 34761
diff changeset
    41
    ${libs.Scala-compiler.classpath}
34320
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    42
# Space-separated list of extra javac options
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    43
javac.compilerargs=
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    44
javac.deprecation=false
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    45
javac.source=1.5
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    46
javac.target=1.5
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    47
javac.test.classpath=\
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    48
    ${javac.classpath}:\
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    49
    ${build.classes.dir}:\
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    50
    ${libs.junit.classpath}:\
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    51
    ${libs.junit_4.classpath}
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    52
javadoc.additionalparam=
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    53
javadoc.author=false
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    54
javadoc.encoding=${source.encoding}
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    55
javadoc.noindex=false
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    56
javadoc.nonavbar=false
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    57
javadoc.notree=false
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    58
javadoc.private=false
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    59
javadoc.splitindex=true
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    60
javadoc.use=true
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    61
javadoc.version=false
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    62
javadoc.windowtitle=
34322
12bf97b7fc9d basic setup for running jEdit;
wenzelm
parents: 34320
diff changeset
    63
main.class=org.gjt.sp.jedit.jEdit
34320
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    64
manifest.file=manifest.mf
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    65
meta.inf.dir=${src.dir}/META-INF
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    66
platform.active=default_platform
34381
a94d2fb96fd5 basic setup for auxiliary project "jEdit", with full sources, debugging, profiling;
wenzelm
parents: 34352
diff changeset
    67
project.jEdit=contrib/jEdit
a94d2fb96fd5 basic setup for auxiliary project "jEdit", with full sources, debugging, profiling;
wenzelm
parents: 34352
diff changeset
    68
reference.jEdit.build=${project.jEdit}/build/jEdit.jar
34320
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    69
run.classpath=\
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    70
    ${javac.classpath}:\
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    71
    ${build.classes.dir}
34322
12bf97b7fc9d basic setup for running jEdit;
wenzelm
parents: 34320
diff changeset
    72
run.jvmargs=-Xms128m -Xmx512m
34320
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    73
run.test.classpath=\
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    74
    ${javac.test.classpath}:\
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    75
    ${build.test.classes.dir}
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    76
source.encoding=UTF-8
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    77
src.dir=${file.reference.isabelle-jedit-src}