@comment $FreeBSD: ports/ports-mgmt/porte/pkg-plist,v 1.3 2009/09/02 15:38:41 pgj Exp $
bin/porte
%%PORTE_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/HSporte-%%PORTE_VERSION%%.o
%%PORTE_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Porte/Ports.hi
%%PORTE_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Porte/Statistics.hi
%%PORTE_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Porte/Tool.hi
%%PORTE_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/libHSporte-%%PORTE_VERSION%%.a
%%PORTE_LIBDIR_REL%%/register.sh
%%NOPORTDOCS%%%%DOCSDIR%%/LICENSE
%%NOPORTDOCS%%@dirrmtry %%DOCSDIR%%
@dirrm %%PORTE_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Porte
@dirrm %%PORTE_LIBDIR_REL%%/ghc-%%GHC_VERSION%%
@dirrm %%PORTE_LIBDIR_REL%%
@exec /bin/sh %D/%%PORTE_LIBDIR_REL%%/register.sh
@exec /bin/rm -f %D/lib/ghc-%%GHC_VERSION%%/package.conf.old
@unexec %D/bin/ghc-pkg unregister porte
@unexec /bin/rm -f %D/lib/ghc-%%GHC_VERSION%%/package.conf.old
