From owner-cvs-ports@FreeBSD.ORG  Sat Nov 11 19:40:36 2006
Return-Path: <owner-cvs-ports@FreeBSD.ORG>
X-Original-To: cvs-ports@FreeBSD.org
Delivered-To: cvs-ports@FreeBSD.org
Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125])
	by hub.freebsd.org (Postfix) with ESMTP id AF5B016A4D4;
	Sat, 11 Nov 2006 19:40:36 +0000 (UTC)
	(envelope-from kris@obsecurity.org)
Received: from elvis.mu.org (elvis.mu.org [192.203.228.196])
	by mx1.FreeBSD.org (Postfix) with ESMTP id 77D2543DEA;
	Sat, 11 Nov 2006 19:39:53 +0000 (GMT)
	(envelope-from kris@obsecurity.org)
Received: from obsecurity.dyndns.org (elvis.mu.org [192.203.228.196])
	by elvis.mu.org (Postfix) with ESMTP id 638A31A3C19;
	Sat, 11 Nov 2006 11:39:44 -0800 (PST)
Received: by obsecurity.dyndns.org (Postfix, from userid 1000)
	id 9AC9D51350; Sat, 11 Nov 2006 14:39:34 -0500 (EST)
Date: Sat, 11 Nov 2006 14:39:34 -0500
From: Kris Kennaway <kris@obsecurity.org>
To: Andrey Slusar <anray@FreeBSD.org>
Message-ID: <20061111193934.GA8416@xor.obsecurity.org>
References: <200611111915.kABJFTx0033389@repoman.freebsd.org>
Mime-Version: 1.0
Content-Type: multipart/signed; micalg=pgp-sha1;
	protocol="application/pgp-signature"; boundary="TB36FDmn/VVEgNH/"
Content-Disposition: inline
In-Reply-To: <200611111915.kABJFTx0033389@repoman.freebsd.org>
User-Agent: Mutt/1.4.2.2i
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
X-BeenThere: cvs-ports@freebsd.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: CVS commit messages for the ports tree <cvs-ports.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/listinfo/cvs-ports>,
	<mailto:cvs-ports-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/cvs-ports>
List-Post: <mailto:cvs-ports@freebsd.org>
List-Help: <mailto:cvs-ports-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/cvs-ports>,
	<mailto:cvs-ports-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Sat, 11 Nov 2006 19:40:36 -0000


--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/--