| 43 |
dist.server.home=${dist.portal.dir} |
dist.server.home=${dist.portal.dir} |
| 44 |
dist.server.shared=${dist.server.home}/shared/lib |
dist.server.shared=${dist.server.home}/shared/lib |
| 45 |
dist.server.war.dir=${dist.server.home}/webapps/ |
dist.server.war.dir=${dist.server.home}/webapps/ |
| 46 |
dist.portlets.dir=${dist.dir}/portlets |
|
| 47 |
dist.portletpack.file=${dist.dir}/PALPortal-portletpack |
upgrade.dir=${basedir}/upgrade |
| 48 |
dist.porletpack.excludes=*helloworld*, charttest*, teeda-ajax-portlet* |
upgrade.build.dir=${upgrade.dir}/target |
| 49 |
|
|
| 50 |
|
|
| 51 |
# |
# |
| 52 |
# Tomcat |
# Tomcat |
| 64 |
org.apache.jetspeed.portal.currentVersion=${portal.version} |
org.apache.jetspeed.portal.currentVersion=${portal.version} |
| 65 |
|
|
| 66 |
# Jetspeed SVN revision |
# Jetspeed SVN revision |
| 67 |
jetspeed2.revision=548891 |
jetspeed2.revision=550316 |
| 68 |
|
|
| 69 |
# Dependencies for Jetspeed |
# Dependencies for Jetspeed |
| 70 |
jetspeed.version=2.2-dev_pal-${portal.version} |
jetspeed.version=2.2-dev_pal-${portal.version} |
| 118 |
-Dspring.version="${spring.version}" \ |
-Dspring.version="${spring.version}" \ |
| 119 |
-Dspring.modules.version="${spring.modules.version}" \ |
-Dspring.modules.version="${spring.modules.version}" \ |
| 120 |
|
|
| 121 |
jetspeed2.deploy.options=\ |
jetspeed2.deploy.base.options=\ |
| 122 |
-Djetspeed.version="${jetspeed.version}" \ |
-Djetspeed.version="${jetspeed.version}" \ |
| 123 |
-Dorg.apache.jetspeed.catalina.version.major=${org.apache.jetspeed.catalina.version.major} \ |
-Dorg.apache.jetspeed.catalina.version.major=${org.apache.jetspeed.catalina.version.major} \ |
|
-Dorg.apache.jetspeed.server.home=${org.apache.jetspeed.server.home} \ |
|
|
-Dorg.apache.jetspeed.server.shared=${org.apache.jetspeed.server.shared} \ |
|
|
-Dorg.apache.jetspeed.deploy.war.dir=${org.apache.jetspeed.deploy.war.dir} \ |
|
| 124 |
-Dorg.apache.jetspeed.services.autodeployment.user=${org.apache.jetspeed.services.autodeployment.user} \ |
-Dorg.apache.jetspeed.services.autodeployment.user=${org.apache.jetspeed.services.autodeployment.user} \ |
| 125 |
-Dorg.apache.jetspeed.services.autodeployment.password=${org.apache.jetspeed.services.autodeployment.password} \ |
-Dorg.apache.jetspeed.services.autodeployment.password=${org.apache.jetspeed.services.autodeployment.password} \ |
| 126 |
-Dorg.apache.jetspeed.production.database.default.name=${org.apache.jetspeed.production.database.default.name} \ |
-Dorg.apache.jetspeed.production.database.default.name=${org.apache.jetspeed.production.database.default.name} \ |
| 130 |
-Dorg.apache.jetspeed.production.database.password=${org.apache.jetspeed.production.database.password} \ |
-Dorg.apache.jetspeed.production.database.password=${org.apache.jetspeed.production.database.password} \ |
| 131 |
-Dorg.apache.jetspeed.production.jdbc.drivers.path=${org.apache.jetspeed.production.jdbc.drivers.path} \ |
-Dorg.apache.jetspeed.production.jdbc.drivers.path=${org.apache.jetspeed.production.jdbc.drivers.path} \ |
| 132 |
|
|
| 133 |
|
jetspeed2.deploy.options=\ |
| 134 |
|
-Dorg.apache.jetspeed.server.home=${org.apache.jetspeed.server.home} \ |
| 135 |
|
-Dorg.apache.jetspeed.server.shared=${org.apache.jetspeed.server.shared} \ |
| 136 |
|
-Dorg.apache.jetspeed.deploy.war.dir=${org.apache.jetspeed.deploy.war.dir} \ |
| 137 |
|
|
| 138 |
jetspeed2.dist.deploy.options=\ |
jetspeed2.dist.deploy.options=\ |
|
-Djetspeed.version="${jetspeed.version}" \ |
|
|
-Dorg.apache.jetspeed.catalina.version.major=${org.apache.jetspeed.catalina.version.major} \ |
|
| 139 |
-Dorg.apache.jetspeed.server.home=${dist.server.home} \ |
-Dorg.apache.jetspeed.server.home=${dist.server.home} \ |
| 140 |
-Dorg.apache.jetspeed.server.shared=${dist.server.shared} \ |
-Dorg.apache.jetspeed.server.shared=${dist.server.shared} \ |
| 141 |
-Dorg.apache.jetspeed.deploy.war.dir=${dist.server.war.dir} \ |
-Dorg.apache.jetspeed.deploy.war.dir=${dist.server.war.dir} \ |
| 142 |
-Dorg.apache.jetspeed.services.autodeployment.user=${org.apache.jetspeed.services.autodeployment.user} \ |
|
| 143 |
-Dorg.apache.jetspeed.services.autodeployment.password=${org.apache.jetspeed.services.autodeployment.password} \ |
jetspeed2.upgrade.deploy.options=\ |
| 144 |
-Dorg.apache.jetspeed.production.database.default.name=${org.apache.jetspeed.production.database.default.name} \ |
-Dorg.apache.jetspeed.server.home=${upgrade.build.dir}/distribution/${org.apache.jetspeed.portal.artifactId}-upgrade-${portal.version} \ |
| 145 |
-Dorg.apache.jetspeed.production.database.url="${org.apache.jetspeed.production.database.url}" \ |
-Dorg.apache.jetspeed.server.shared=${upgrade.build.dir}/distribution/${org.apache.jetspeed.portal.artifactId}-upgrade-${portal.version}/shared/lib \ |
| 146 |
-Dorg.apache.jetspeed.production.database.driver=${org.apache.jetspeed.production.database.driver} \ |
-Dorg.apache.jetspeed.deploy.war.dir=${upgrade.build.dir}/distribution/${org.apache.jetspeed.portal.artifactId}-upgrade-${portal.version}/webapps \ |
|
-Dorg.apache.jetspeed.production.database.user=${org.apache.jetspeed.production.database.user} \ |
|
|
-Dorg.apache.jetspeed.production.database.password=${org.apache.jetspeed.production.database.password} \ |
|
|
-Dorg.apache.jetspeed.production.jdbc.drivers.path=${org.apache.jetspeed.production.jdbc.drivers.path} \ |
|
| 147 |
|
|
| 148 |
jetspeed2.installer.options=\ |
jetspeed2.installer.options=\ |
| 149 |
-Dportal.dir="${portal.dir}" \ |
-Dportal.dir="${portal.dir}" \ |