| [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 |
|
|---|
| 27 | ## Greenstone 2 collection building options
|
|---|
| 28 | #The path to Greenstone 2 if it is already installed
|
|---|
| [10115] | 29 | #If you do not want to use Greenstone 2 style building at all, set this property to any non-empty string, e.g. xxx
|
|---|
| [9874] | 30 | gsdl2.installed.path=
|
|---|
| 31 |
|
|---|
| [13232] | 32 | ## Greenstone 3 server program options
|
|---|
| 33 | # does running the server automatically start up Tomcat and a browser
|
|---|
| 34 | server.auto.start=true
|
|---|
| 35 | # default servlet to start with
|
|---|
| 36 | server.default.servlet=/library
|
|---|
| [10310] | 37 |
|
|---|
| [10298] | 38 | ## Proxy setup - Greenstone installation will attempt to download extra packages. Set the proxy information here if you are behind a firewall.
|
|---|
| 39 | # The proxy server name
|
|---|
| [9874] | 40 | proxy.host=
|
|---|
| 41 | # The proxy server port
|
|---|
| 42 | proxy.port=
|
|---|
| 43 | # A user name to use when talking to the proxy server (optional, will prompt if not entered here)
|
|---|
| 44 | proxy.user=
|
|---|
| 45 | # A password to use when talking to the proxy server (optional, will prompt if not entered here)
|
|---|
| 46 | proxy.password=
|
|---|
| 47 |
|
|---|
| [10679] | 48 | ## Mac OS X specific stuff
|
|---|
| 49 | # set the path to your GDBM here
|
|---|
| 50 | gdbm.installed.path=
|
|---|
