components/web/tomcat-8/patches/build.properties.patch

   1 Patch origin: in-house
   2 Patch status: Solaris-specific; not suitable for upstream
   3
   4 Redirects build process to use local archives instead of downloading
   5 from external webs.
   6
   7 diff --git a/build.properties.default b/build.properties.default
   8 index 5ebe11e..8cdb8da 100644
   9 --- a/build.properties.default
  10 +++ b/build.properties.default
  11 @@ -103,6 +103,12 @@ base-maven.loc=https://repo.maven.apache.org/maven2
  12  # Mirror, was used when there were problems with the main SF downloads site
  13  # base-sf.loc=https://sunet.dl.sourceforge.net
  14
  15 +# In Userland we really don't want Tomcat to download its build
  16 +# dependencies itself but instead we will do it ourself in advance.
  17 +# Therefore those dependencies which are really required need to be
  18 +# redirected to local file system.
  19 +userland-files.loc=file://${base.path}/../../
  20 +
  21  # ----- Webservices - JAX RPC -----
  22  jaxrpc-lib.version=1.1-rc4
  23  jaxrpc-lib.checksum.enabled=true
  24 @@ -133,13 +139,13 @@ wsdl4j-lib.jar=${wsdl4j-lib.home}/wsdl4j-${wsdl4j-lib.version}.jar
  25  #
  26  jdt.version=4.6.3
  27  jdt.release=R-4.6.3-201703010400
  28 -jdt.checksum.enabled=true
  29 +jdt.checksum.enabled=false
  30  jdt.checksum.algorithm=SHA-512
  31  jdt.checksum.value=372da97d5f37095a3616c730170dc541b93acb8f50370cd9b0d81fba4583e865f0c933dc012155f26638306b82a402eaab209123cd0a979fa7c86313c0fca477
  32  jdt.home=${base.path}/ecj-${jdt.version}
  33  jdt.jar=${jdt.home}/ecj-${jdt.version}.jar
  34  # The download will be moved to the archive area eventually. We are taking care of that in advance.
  35 -jdt.loc.1=http://archive.eclipse.org/eclipse/downloads/drops4/${jdt.release}/ecj-${jdt.version}.jar
  36 +jdt.loc.1=file://${base.path}/ECJ/ecj.jar
  37  jdt.loc.2=http://download.eclipse.org/eclipse/downloads/drops4/${jdt.release}/ecj-${jdt.version}.jar
  38
  39  # ----- Tomcat native library -----