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
pgpd5O9Kg62ts.pgp
Description: PGP signature
