| 1 | #### properties file for Greenstone3 building using ANT. See the README for more
|
|---|
| 2 | #### information
|
|---|
| 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
|
|---|
| 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
|
|---|
| 17 | tomcat.server=localhost
|
|---|
| 18 | # The port number that tomcat is/will be run on
|
|---|
| 19 | tomcat.port=8080
|
|---|
| 20 | # Tomcat's shutdown port - this may need to be changed if you are running two or more Tomcats
|
|---|
| 21 | tomcat.shutdown.port=8005
|
|---|
| 22 | # If tomcat is already running, enter the path to the base directory here
|
|---|
| 23 | tomcat.installed.path=
|
|---|
| 24 | #uncomment the following if you have moved the greenstone3 web directory to tomcats webapps dir
|
|---|
| 25 | #web.home=${tomcat.installed.path}/webapps/greenstone3
|
|---|
| 26 |
|
|---|
| 27 | ## Collection building options
|
|---|
| 28 | # uncomment if you don't want to have collection building enabled
|
|---|
| 29 | #disable.collection.building=true
|
|---|
| 30 |
|
|---|
| 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
|
|---|
| 36 |
|
|---|
| 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
|
|---|
| 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 |
|
|---|
| 47 | ## Mac OS X specific stuff
|
|---|
| 48 | # set the path to your GDBM here
|
|---|
| 49 | gdbm.installed.path=
|
|---|
