|
1 build.classes.dir=${build.dir}/classes |
|
2 build.classes.excludes=**/*.java,**/*.form,**/*.scala |
|
3 # This directory is removed when the project is cleaned: |
|
4 build.dir=build |
|
5 build.generated.dir=${build.dir}/generated |
|
6 # Only compile against the classpath explicitly listed here: |
|
7 build.sysclasspath=ignore |
|
8 build.test.classes.dir=${build.dir}/test/classes |
|
9 build.test.results.dir=${build.dir}/test/results |
|
10 debug.classpath=\ |
|
11 ${run.classpath} |
|
12 debug.test.classpath=\ |
|
13 ${run.test.classpath} |
|
14 # This directory is removed when the project is cleaned: |
|
15 dist.dir=dist |
|
16 dist.jar=${dist.dir}/Isabelle-jEdit.jar |
|
17 dist.javadoc.dir=${dist.dir}/javadoc |
|
18 excludes= |
|
19 file.reference.isabelle-jedit-src=src |
|
20 file.reference.jedit.jar=/home/makarius/lib/jedit/current/jedit.jar |
|
21 includes=** |
|
22 jar.compress=false |
|
23 java.platform.active=java_default_platform |
|
24 javac.classpath=\ |
|
25 ${libs.jEdit.classpath}:\ |
|
26 ${libs.Flying-Saucer.classpath}:\ |
|
27 ${libs.Isabelle-Pure.classpath} |
|
28 # Space-separated list of extra javac options |
|
29 javac.compilerargs= |
|
30 javac.deprecation=false |
|
31 javac.source=1.5 |
|
32 javac.target=1.5 |
|
33 javac.test.classpath=\ |
|
34 ${javac.classpath}:\ |
|
35 ${build.classes.dir}:\ |
|
36 ${libs.junit.classpath}:\ |
|
37 ${libs.junit_4.classpath} |
|
38 javadoc.additionalparam= |
|
39 javadoc.author=false |
|
40 javadoc.encoding=${source.encoding} |
|
41 javadoc.noindex=false |
|
42 javadoc.nonavbar=false |
|
43 javadoc.notree=false |
|
44 javadoc.private=false |
|
45 javadoc.splitindex=true |
|
46 javadoc.use=true |
|
47 javadoc.version=false |
|
48 javadoc.windowtitle= |
|
49 main.class= |
|
50 manifest.file=manifest.mf |
|
51 meta.inf.dir=${src.dir}/META-INF |
|
52 platform.active=default_platform |
|
53 run.classpath=\ |
|
54 ${javac.classpath}:\ |
|
55 ${build.classes.dir} |
|
56 # Space-separated list of JVM arguments used when running the project |
|
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=\ |
|
61 ${javac.test.classpath}:\ |
|
62 ${build.test.classes.dir} |
|
63 source.encoding=UTF-8 |
|
64 src.dir=${file.reference.isabelle-jedit-src} |