File: ant.properties

package info (click to toggle)
spring 104.0%2Bdfsg-3
  • links: PTS, VCS
  • area: main
  • in suites: buster
  • size: 47,512 kB
  • sloc: cpp: 391,093; ansic: 79,943; python: 12,356; java: 12,201; awk: 5,889; sh: 1,826; xml: 655; makefile: 486; perl: 405; php: 211; objc: 194; sed: 2
file content (26 lines) | stat: -rw-r--r-- 1,011 bytes parent folder | download | duplicates (7)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
# Paths are relative to the project home (which is ../ from this file).
# All values are optional.

;spring.home=../../..

# specify Java-AIInterface dirs
;spring.ai.interface.src.home=${spring.home}/AI/Interfaces/Java
;spring.ai.interface.src.dir=${spring.ai.interface.src.home}/src/main/java
;spring.ai.interface.build.home=${build.home}/AI/Interfaces/Java
;spring.ai.interface.build.dir=${spring.ai.interface.build.home}/src-generated/main/java

# This is used only in the next property
;build.home=${spring.home}/build
# Where jar files will be built
;build.dir=${build.home}/AI/Wrappers/${wrapper.name}

# Where generated sources shall be created in
;src.generated=${build.dir}/src-generated/main
;src.generated.java=${src.generated}/java

# This is used only in the next property
;dist.home=${spring.home}/dist
# Where jar files will be installed to
;dist.dir=${dist.home}/AI/Wrappers/${wrapper.name}
# Where HTML JavaDoc files will be generated
;doc.dir=${dist.home}/AI/Wrappers/${wrapper.name}/doc/jdoc