[10778] | 1 | #### properties file for Greenstone3 building using ANT. See the README for more
|
---|
[10103] | 2 | #### information
|
---|
[9874] | 3 |
|
---|
| 4 | ## java compilation properties - for javac
|
---|
| 5 | #Should compilation include the debug option?
|
---|
| 6 | compile.debug=true
|
---|
| 7 | #Should compilation include the deprecation option?
|
---|
| 8 | compile.deprecation=true
|
---|
| 9 | #Should compilation include the optimize option?
|
---|
| 10 | compile.optimize=true
|
---|
| 11 |
|
---|
| 12 | ## windows c++ compilation
|
---|
| 13 | compile.windows.c++.setup=C:/Program Files/Microsoft Visual Studio/VC98/Bin/VCVARS32.BAT
|
---|
| 14 |
|
---|
| 15 | ## Tomcat installation
|
---|
[10857] | 16 | #Set this to the internet/intranet name of the machine that Tomcat is/will be run on. localhost is fine for accessing the server from the local machine, but not remotely
|
---|
[9874] | 17 | tomcat.server=localhost
|
---|
| 18 | # The port number that tomcat is/will be run on
|
---|
| 19 | tomcat.port=8080
|
---|
[13204] | 20 | # Tomcat's shutdown port - this may need to be changed if you are running two or more Tomcats
|
---|
| 21 | tomcat.shutdown.port=8005
|
---|
[9874] | 22 | # If tomcat is already running, enter the path to the base directory here
|
---|
| 23 | tomcat.installed.path=
|
---|
[10778] | 24 | #uncomment the following if you have moved the greenstone3 web directory to tomcats webapps dir
|
---|
| 25 | #web.home=${tomcat.installed.path}/webapps/greenstone3
|
---|
[9874] | 26 |
|
---|
[13308] | 27 | ## Collection building options
|
---|
| 28 | # uncomment if you don't want to have collection building enabled
|
---|
| 29 | #disable.collection.building=true
|
---|
[9874] | 30 |
|
---|
[13232] | 31 | ## Greenstone 3 server program options
|
---|
| 32 | # does running the server automatically start up Tomcat and a browser
|
---|
| 33 | server.auto.start=true
|
---|
| 34 | # default servlet to start with
|
---|
| 35 | server.default.servlet=/library
|
---|
[10310] | 36 |
|
---|
[10298] | 37 | ## Proxy setup - Greenstone installation will attempt to download extra packages. Set the proxy information here if you are behind a firewall.
|
---|
| 38 | # The proxy server name
|
---|
[9874] | 39 | proxy.host=
|
---|
| 40 | # The proxy server port
|
---|
| 41 | proxy.port=
|
---|
| 42 | # A user name to use when talking to the proxy server (optional, will prompt if not entered here)
|
---|
| 43 | proxy.user=
|
---|
| 44 | # A password to use when talking to the proxy server (optional, will prompt if not entered here)
|
---|
| 45 | proxy.password=
|
---|
| 46 |
|
---|
[10679] | 47 | ## Mac OS X specific stuff
|
---|
| 48 | # set the path to your GDBM here
|
---|
| 49 | gdbm.installed.path=
|
---|