Skip site navigation (1)Skip section navigation (2)
Date:      Sat, 11 Nov 2006 14:39:34 -0500
From:      Kris Kennaway <kris@obsecurity.org>
To:        Andrey Slusar <anray@FreeBSD.org>
Cc:        cvs-ports@FreeBSD.org, timbob@bigpond.com, cvs-all@FreeBSD.org, ports-committers@FreeBSD.org
Subject:   Re: cvs commit: ports/math/proofgeneral Makefile distinfo pkg-plist
Message-ID:  <20061111193934.GA8416@xor.obsecurity.org>
In-Reply-To: <200611111915.kABJFTx0033389@repoman.freebsd.org>
References:  <200611111915.kABJFTx0033389@repoman.freebsd.org>

next in thread | previous in thread | raw e-mail | index | archive | help

--TB36FDmn/VVEgNH/
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable

On Sat, Nov 11, 2006 at 07:15:29PM +0000, Andrey Slusar wrote:
> anray       2006-11-11 19:15:29 UTC
>=20
>   FreeBSD ports repository
>=20
>   Modified files:
>     math/proofgeneral    Makefile distinfo pkg-plist=20
>   Log:
>   Fix plist and unbroken port.
>  =20
>   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:

=2Einclude <bsd.port.pre.mk>
=2Einclude "${PORTSDIR}/Mk/bsd.emacs.mk"
=2Einclude <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

--TB36FDmn/VVEgNH/
Content-Type: application/pgp-signature
Content-Disposition: inline

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.5 (FreeBSD)

iD8DBQFFVib2Wry0BWjoQKURAjUwAJ9AqCiIBTwnUgtu/54YxhZl0SANbACfbXOz
/WojM7YvA3yPxSxfgqyrDGI=
=Jul0
-----END PGP SIGNATURE-----

--TB36FDmn/VVEgNH/--



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20061111193934.GA8416>