Ignore:
Timestamp:
Oct 25, 2005, 9:54:25 PM (14 years ago)
Author:
jberry
Message:

Update tomcat5 --> 5.5.12

  • Bump version
  • Account for new home page and dist location now that tomcat is a top level apache project.
  • Get rid of obsolete patch files
  • Rename patch files
Location:
trunk/dports/java/tomcat5
Files:
1 added
1 deleted
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/dports/java/tomcat5/Portfile

    r14154 r14819  
    1 # $Id: Portfile,v 1.21 2005/09/19 04:12:00 jberry Exp $
     1# $Id: Portfile,v 1.22 2005/10/25 21:54:25 jberry Exp $
    22
    33PortSystem 1.0
    44
    55name                            tomcat5
    6 version                         5.5.9
    7 revision                        1
     6version                         5.5.12
    87
    98categories                      java www
     
    1514                                        Reference Implementation for the Java Servlet and JavaServer \
    1615                                        Pages technologies.
    17 homepage                        http://jakarta.apache.org/tomcat/
    18 
    19 distname                        jakarta-tomcat-${version}-src
    20 master_sites            apache:jakarta/tomcat-5/v${version}/src/
    21 checksums                       md5 8304076be67a45bf19b1948c6c9e17c9
    22 
    23 patchfiles                      patch-catalina.sh.diff \
    24                                         patch-jk2.properties.diff
     16homepage                        http://tomcat.apache.org/
     17
     18distname                        apache-tomcat-${version}-src
     19master_sites            apache:tomcat/tomcat-5/v${version}/src/
     20checksums                       md5 32463077f8709913d16b67571049d1f4
     21
     22patchfiles                      patch-catalina.sh
    2523
    2624depends_build           bin:ant:apache-ant
     
    178176                                catalina.policy
    179177                                catalina.properties
    180                                 jk2.properties
    181178                                server.xml
    182179                                tomcat-users.xml
     
    186183                file rename ${target}/conf/${f} ${target}/conf/${f}.sample
    187184        }
    188         reinplace s|@@PREFIX@@|${prefix}|g ${target}/conf/jk2.properties.sample
    189185
    190186        # Fix ownership of some directories tomcat really needs to write to
Note: See TracChangeset for help on using the changeset viewer.