| [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
|
|---|
| [15228] | 13 | # The following property does not help in build.xml.
|
|---|
| 14 | # The user needs to run Visual Studio's vcvars32.bat script from the
|
|---|
| 15 | # MSDOS prompt before compiling Greenstone3 (before "ant prepare install")
|
|---|
| 16 | #compile.windows.c++.setup=C:/Program Files/Microsoft Visual Studio/VC98/Bin/VCVARS32.BAT
|
|---|
| [9874] | 17 |
|
|---|
| 18 | ## Tomcat installation
|
|---|
| [10857] | 19 | #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
|
|---|
| [15239] | 20 | tomcat.server=localhost
|
|---|
| [9874] | 21 | # The port number that tomcat is/will be run on
|
|---|
| [15239] | 22 | tomcat.port=8080
|
|---|
| [13204] | 23 | # Tomcat's shutdown port - this may need to be changed if you are running two or more Tomcats
|
|---|
| [15239] | 24 | tomcat.shutdown.port=8005
|
|---|
| [9874] | 25 | # If tomcat is already running, enter the path to the base directory here
|
|---|
| 26 | tomcat.installed.path=
|
|---|
| [10778] | 27 | #uncomment the following if you have moved the greenstone3 web directory to tomcats webapps dir
|
|---|
| 28 | #web.home=${tomcat.installed.path}/webapps/greenstone3
|
|---|
| [9874] | 29 |
|
|---|
| [13308] | 30 | ## Collection building options
|
|---|
| 31 | # uncomment if you don't want to have collection building enabled
|
|---|
| 32 | #disable.collection.building=true
|
|---|
| [9874] | 33 |
|
|---|
| [13232] | 34 | ## Greenstone 3 server program options
|
|---|
| 35 | # does running the server automatically start up Tomcat and a browser
|
|---|
| [13615] | 36 | server.auto.start=false
|
|---|
| [13232] | 37 | # default servlet to start with
|
|---|
| 38 | server.default.servlet=/library
|
|---|
| [10310] | 39 |
|
|---|
| [13615] | 40 | ##Browser setup
|
|---|
| 41 | browser.path=
|
|---|
| 42 |
|
|---|
| [10298] | 43 | ## Proxy setup - Greenstone installation will attempt to download extra packages. Set the proxy information here if you are behind a firewall.
|
|---|
| 44 | # The proxy server name
|
|---|
| [9874] | 45 | proxy.host=
|
|---|
| 46 | # The proxy server port
|
|---|
| 47 | proxy.port=
|
|---|
| 48 | # A user name to use when talking to the proxy server (optional, will prompt if not entered here)
|
|---|
| 49 | proxy.user=
|
|---|
| 50 | # A password to use when talking to the proxy server (optional, will prompt if not entered here)
|
|---|
| 51 | proxy.password=
|
|---|
| 52 |
|
|---|
| [15329] | 53 | # Not all unix systems (for example MacOS) come with GDBM pre-installed
|
|---|
| 54 | # To keep things simple, instruct Greenstone3 to download a GDBM tar file
|
|---|
| 55 | # configure and install it. The location used by default is within the
|
|---|
| 56 | # Greenstone3 src/packages area
|
|---|
| 57 | install.gdbm=true
|
|---|
| 58 | gdbm.installed.path=${gdbm.home}
|
|---|
| [15045] | 59 |
|
|---|
| 60 | ##Flax stuff##
|
|---|
| 61 | ##uncomment if you want to install flax
|
|---|
| 62 | #install.flax=true
|
|---|
