From owner-freebsd-ports@FreeBSD.ORG  Tue Oct 25 08:20:59 2011
Return-Path: <owner-freebsd-ports@FreeBSD.ORG>
Delivered-To: freebsd-ports@FreeBSD.org
Received: from mx2.freebsd.org (mx2.freebsd.org [IPv6:2001:4f8:fff6::35])
	by hub.freebsd.org (Postfix) with ESMTP id E3201106564A;
	Tue, 25 Oct 2011 08:20:59 +0000 (UTC)
	(envelope-from dougb@FreeBSD.org)
Received: from 172-17-198-245.globalsuite.net (hub.freebsd.org
	[IPv6:2001:4f8:fff6::36])
	by mx2.freebsd.org (Postfix) with ESMTP id 1B97D14D889;
	Tue, 25 Oct 2011 08:20:59 +0000 (UTC)
Message-ID: <4EA6716A.60304@FreeBSD.org>
Date: Tue, 25 Oct 2011 01:20:58 -0700
From: Doug Barton <dougb@FreeBSD.org>
Organization: http://SupersetSolutions.com/
User-Agent: Mozilla/5.0 (X11; FreeBSD amd64;
	rv:7.0.1) Gecko/20111001 Thunderbird/7.0.1
MIME-Version: 1.0
To: Stanislav Sedov <stas@FreeBSD.org>
References: <4E8CDDC6.7030504@FreeBSD.org> <4EA26D98.80208@FreeBSD.org>
	<20111022003040.3f2decd9.stas@FreeBSD.org>
In-Reply-To: <20111022003040.3f2decd9.stas@FreeBSD.org>
X-Enigmail-Version: undefined
OpenPGP: id=1A1ABC84
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Cc: "freebsd-ports@FreeBSD.org" <freebsd-ports@FreeBSD.org>
Subject: Re: lang/ocaml fails to package without THREADS option (plist error)
X-BeenThere: freebsd-ports@freebsd.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: Porting software to FreeBSD <freebsd-ports.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-ports>,
	<mailto:freebsd-ports-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-ports>
List-Post: <mailto:freebsd-ports@freebsd.org>
List-Help: <mailto:freebsd-ports-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-ports>,
	<mailto:freebsd-ports-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Tue, 25 Oct 2011 08:21:00 -0000

On 10/22/2011 00:30, Stanislav Sedov wrote:
> On Sat, 22 Oct 2011 00:15:36 -0700
> Doug Barton <dougb@FreeBSD.org> mentioned:
> 
>> Did I miss a response to this issue? Will filing a PR help?
>>
> 
> Hey, Doug!
> 
> Sorry for the long response, but I've been cought with ports being
> broken on 10.x entirely, so it doesn't look like I will be able
> to work on any my ports issues in the near future.  If you know a fix
> and can test it, please go ahead.  I will really appreciate it!

Ok, all set. Thanks!


Doug

-- 

	Nothin' ever doesn't change, but nothin' changes much.
			-- OK Go

	Breadth of IT experience, and depth of knowledge in the DNS.
	Yours for the right price.  :)  http://SupersetSolutions.com/