cvs commit: ports/math/proofgeneral Makefile distinfo pkg-plist

[Kris Kennaway]

On Sat, Nov 11, 2006 at 07:15:29PM +0000, Andrey Slusar wrote:
> anray       2006-11-11 19:15:29 UTC
> 
>   FreeBSD ports repository
> 
>   Modified files:
>     math/proofgeneral    Makefile distinfo pkg-plist 
>   Log:
>   Fix plist and unbroken port.
>   
>   PR:             ports/105383
>   Reported by:    pointyhat
>   Submitted by:   Timothy Bourke (maintainer)

Further work is needed on this port before it's up to standard.

Specifically, the triple include:

.include <bsd.port.pre.mk>
.include "${PORTSDIR}/Mk/bsd.emacs.mk"
.include <bsd.port.post.mk>

causes a number of problems (the direct include of bsd.emacs.mk is
bogus and needs to be avoided).  For some reason the maintainer has
not responded to my emails about this though.

Kris
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 187 bytes
Desc: not available
Url : http://lists.freebsd.org/pipermail/cvs-all/attachments/20061111/dda391b5/attachment.pgp