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
27
28
29
|
# <independent> properties file for spring Java Skirmish AIs
# This is used when you do not use the spring repository for compiling.
#
# Paths are relative to the project home (which is ../ from this file).
# All values are optional, and listed here with their defaults.
#
# For the <independent> project, you do not need the spring sources,
# but you will need the "jlibs-interface/" instead, which contains
# the Java AI Interfaces jlibs plus its binary and source jar.
#
# build-dir: build/
# install-dir: dist/
#
# This file is loaded from within build.xml,
# but only if a "jlibs-interface/" dir is present.
#
# This is used only in the next property
;build.home=build
# Where jar files will be built
;build.dir=${build.home}
# This is used only in the next property.
# You will want to set dist.home to your spring install dir.
;dist.home=dist
# Where jar files will be installed to
;dist.dir=${dist.home}/AI/Skirmish/${skirmish.ai.name}/${skirmish.ai.version}
# Where HTML JavaDoc files will be generated
;doc.dir=${dist.home}/AI/Skirmish/${skirmish.ai.name}/${skirmish.ai.version}/doc/jdoc
|
