1 application.title=Isabelle-jEdit |
|
2 application.vendor=makarius |
|
3 application.args=-noserver -nobackground |
|
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 can be used as jEdits settings-directory; |
|
20 # jEdit searches for plugins in the 'jars' subdirectory |
|
21 # must include something like this to private.properties: |
|
22 # application.args=-noserver -nobackground -settings=/absolute/path/to/project/dist |
|
23 # |
|
24 dist.jar=${dist.dir}/jars/Isabelle-jEdit.jar |
|
25 dist.javadoc.dir=${dist.dir}/javadoc |
|
26 excludes= |
|
27 file.reference.isabelle-jedit-src=src |
|
28 file.reference.jedit.jar=/home/makarius/lib/jedit/current/jedit.jar |
|
29 includes=** |
|
30 jar.compress=false |
|
31 java.platform.active=java_default_platform |
|
32 javac.classpath=\ |
|
33 ${reference.jEdit.build}:\ |
|
34 ${libs.Isabelle-Pure.classpath}:\ |
|
35 ${libs.Cobra-Renderer.classpath}:\ |
|
36 ${libs.Rhino-JavaScript.classpath}:\ |
|
37 ${libs.ErrorList.classpath}:\ |
|
38 ${libs.Hyperlinks.classpath}:\ |
|
39 ${libs.SideKick.classpath}:\ |
|
40 ${libs.Console.classpath}:\ |
|
41 ${libs.Scala-compiler.classpath} |
|
42 # Space-separated list of extra javac options |
|
43 javac.compilerargs= |
|
44 javac.deprecation=false |
|
45 javac.source=1.5 |
|
46 javac.target=1.5 |
|
47 javac.test.classpath=\ |
|
48 ${javac.classpath}:\ |
|
49 ${build.classes.dir}:\ |
|
50 ${libs.junit.classpath}:\ |
|
51 ${libs.junit_4.classpath} |
|
52 javadoc.additionalparam= |
|
53 javadoc.author=false |
|
54 javadoc.encoding=${source.encoding} |
|
55 javadoc.noindex=false |
|
56 javadoc.nonavbar=false |
|
57 javadoc.notree=false |
|
58 javadoc.private=false |
|
59 javadoc.splitindex=true |
|
60 javadoc.use=true |
|
61 javadoc.version=false |
|
62 javadoc.windowtitle= |
|
63 main.class=org.gjt.sp.jedit.jEdit |
|
64 manifest.file=manifest.mf |
|
65 meta.inf.dir=${src.dir}/META-INF |
|
66 platform.active=default_platform |
|
67 project.jEdit=contrib/jEdit |
|
68 reference.jEdit.build=${project.jEdit}/build/jEdit.jar |
|
69 run.classpath=\ |
|
70 ${javac.classpath}:\ |
|
71 ${build.classes.dir} |
|
72 run.jvmargs=-Xms128m -Xmx512m |
|
73 run.test.classpath=\ |
|
74 ${javac.test.classpath}:\ |
|
75 ${build.test.classes.dir} |
|
76 source.encoding=UTF-8 |
|
77 src.dir=${file.reference.isabelle-jedit-src} |
|
78 scalac.compilerargs= |
|
79 scalac.deprecation=yes |
|
80 scalac.unchecked=yes |
|
81 |
|