Ticket #11208: hat-Portfile-update-to-2.05.diff

Portfile

@@ -2 +2 @@
 
 PortSystem 1.0
 name            hat
-version         2.04
+version         2.05
 revision        3
 categories      devel
 maintainers     gwright@opendarwin.org
@@ -24 +24 @@
 homepage        http://www.cs.york.ac.uk/fp/hat/
 master_sites    ${homepage}
 
-checksums       md5 11515d25ed8c760bfe1238fad36ad18f
-
-patchfiles      patch-confhc-hat        \
-                patch-hat.cabal
+checksums       md5 027a74fe438f51529bc781d4dfc8ff40
 
 depends_build   bin:ghc:ghc \
                 bin:hmake:hmake
@@ -48 +45 @@
 post-destroot   { file delete ${destroot}/${prefix}/bin/harch }
 
 post-activate   { set ghcversion [ exec ghc --version | sed "s|^.*version ||" ]
-                  system "ranlib ${prefix}/lib/ghc-${ghcversion}/libHShat.a"
 
                   reinplace "s|${destroot}${prefix}|${prefix}|g" ${prefix}/lib/ghc-${ghcversion}/package.conf