author | wenzelm |
Mon, 20 Oct 2008 17:02:03 +0200 | |
changeset 34328 | be2e9e6726af |
parent 34322 | 12bf97b7fc9d |
child 34331 | 2cb3369f0634 |
permissions | -rw-r--r-- |
34322 | 1 |
application.title=Isabelle-jEdit |
2 |
application.vendor=makarius |
|
34328
be2e9e6726af
added application.args (Why does it end up in pricate properties?);
wenzelm
parents:
34322
diff
changeset
|
3 |
application.args=-noserver -nobackground -nosettings |
34320 | 4 |
build.classes.dir=${build.dir}/classes |
5 |
build.classes.excludes=**/*.java,**/*.form,**/*.scala |
|
6 |
# This directory is removed when the project is cleaned: |
|
7 |
build.dir=build |
|
8 |
build.generated.dir=${build.dir}/generated |
|
9 |
# Only compile against the classpath explicitly listed here: |
|
10 |
build.sysclasspath=ignore |
|
11 |
build.test.classes.dir=${build.dir}/test/classes |
|
12 |
build.test.results.dir=${build.dir}/test/results |
|
13 |
debug.classpath=\ |
|
14 |
${run.classpath} |
|
15 |
debug.test.classpath=\ |
|
16 |
${run.test.classpath} |
|
17 |
# This directory is removed when the project is cleaned: |
|
18 |
dist.dir=dist |
|
19 |
dist.jar=${dist.dir}/Isabelle-jEdit.jar |
|
20 |
dist.javadoc.dir=${dist.dir}/javadoc |
|
21 |
excludes= |
|
22 |
file.reference.isabelle-jedit-src=src |
|
23 |
file.reference.jedit.jar=/home/makarius/lib/jedit/current/jedit.jar |
|
24 |
includes=** |
|
25 |
jar.compress=false |
|
26 |
java.platform.active=java_default_platform |
|
27 |
javac.classpath=\ |
|
28 |
${libs.jEdit.classpath}:\ |
|
29 |
${libs.Flying-Saucer.classpath}:\ |
|
30 |
${libs.Isabelle-Pure.classpath} |
|
31 |
# Space-separated list of extra javac options |
|
32 |
javac.compilerargs= |
|
33 |
javac.deprecation=false |
|
34 |
javac.source=1.5 |
|
35 |
javac.target=1.5 |
|
36 |
javac.test.classpath=\ |
|
37 |
${javac.classpath}:\ |
|
38 |
${build.classes.dir}:\ |
|
39 |
${libs.junit.classpath}:\ |
|
40 |
${libs.junit_4.classpath} |
|
41 |
javadoc.additionalparam= |
|
42 |
javadoc.author=false |
|
43 |
javadoc.encoding=${source.encoding} |
|
44 |
javadoc.noindex=false |
|
45 |
javadoc.nonavbar=false |
|
46 |
javadoc.notree=false |
|
47 |
javadoc.private=false |
|
48 |
javadoc.splitindex=true |
|
49 |
javadoc.use=true |
|
50 |
javadoc.version=false |
|
51 |
javadoc.windowtitle= |
|
34322 | 52 |
main.class=org.gjt.sp.jedit.jEdit |
34320 | 53 |
manifest.file=manifest.mf |
54 |
meta.inf.dir=${src.dir}/META-INF |
|
55 |
platform.active=default_platform |
|
56 |
run.classpath=\ |
|
57 |
${javac.classpath}:\ |
|
58 |
${build.classes.dir} |
|
34322 | 59 |
run.jvmargs=-Xms128m -Xmx512m |
34320 | 60 |
run.test.classpath=\ |
61 |
${javac.test.classpath}:\ |
|
62 |
${build.test.classes.dir} |
|
63 |
source.encoding=UTF-8 |
|
64 |
src.dir=${file.reference.isabelle-jedit-src} |