From owner-svn-ports-head@FreeBSD.ORG  Sat Mar 29 17:33:14 2014
Return-Path: <owner-svn-ports-head@FreeBSD.ORG>
Delivered-To: svn-ports-head@freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org
 [IPv6:2001:1900:2254:206a::19:1])
 (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits))
 (No client certificate requested)
 by hub.freebsd.org (Postfix) with ESMTPS id 4000CC18;
 Sat, 29 Mar 2014 17:33:14 +0000 (UTC)
Received: from shepard.synsport.net (mail.synsport.com [208.69.230.148])
 (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits))
 (Client did not present a certificate)
 by mx1.freebsd.org (Postfix) with ESMTPS id 143DB9CC;
 Sat, 29 Mar 2014 17:33:11 +0000 (UTC)
Received: from [192.168.0.20] (unknown [130.255.19.191])
 (using TLSv1 with cipher DHE-RSA-AES128-SHA (128/128 bits))
 (No client certificate requested)
 by shepard.synsport.net (Postfix) with ESMTP id 4CA8F438BD;
 Sat, 29 Mar 2014 12:32:54 -0500 (CDT)
Message-ID: <533703B6.7010107@marino.st>
Date: Sat, 29 Mar 2014 18:32:38 +0100
From: John Marino <freebsd.contact@marino.st>
User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64;
 rv:24.0) Gecko/20100101 Thunderbird/24.3.0
MIME-Version: 1.0
To: Sunpoet Po-Chuan Hsieh <sunpoet@FreeBSD.org>, 
 John Marino <marino@freebsd.org>
Subject: Re: svn commit: r349272 - in head/lang/ocaml: . files
References: <201403261750.s2QHoTV7006221@svn.freebsd.org>
 <CAMHz58S-hy0RU7qOgYVAOjSsBAXnspMncxnWxBGpQ6uoGXxKoQ@mail.gmail.com>
In-Reply-To: <CAMHz58S-hy0RU7qOgYVAOjSsBAXnspMncxnWxBGpQ6uoGXxKoQ@mail.gmail.com>
X-Enigmail-Version: 1.6
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 7bit
Cc: svn-ports-head@freebsd.org, svn-ports-all@freebsd.org,
 ports-committers <ports-committers@freebsd.org>
X-BeenThere: svn-ports-head@freebsd.org
X-Mailman-Version: 2.1.17
Precedence: list
Reply-To: marino@freebsd.org
List-Id: SVN commit messages for the ports tree for head
 <svn-ports-head.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/options/svn-ports-head>,
 <mailto:svn-ports-head-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/svn-ports-head/>
List-Post: <mailto:svn-ports-head@freebsd.org>
List-Help: <mailto:svn-ports-head-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/svn-ports-head>,
 <mailto:svn-ports-head-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Sat, 29 Mar 2014 17:33:14 -0000

On 3/29/2014 18:11, Sunpoet Po-Chuan Hsieh wrote:
> On Thu, Mar 27, 2014 at 1:50 AM, John Marino <marino@freebsd.org
> <mailto:marino@freebsd.org>> wrote:
> 
>     -OPTIONS_DEFINE=        X11 TK THREADS CMP_LIB OPT_DEF
>     +OPTIONS_DEFINE= X11 TK THREADS OPT_DEF DOCS
> 
> 
> CMP_LIB is missing in OPTIONS_DEFINE.
> 

Okay.  This is a provision version -- the maintainer is reviewing it and
will submit an update soon, particularly to add stage support.  In the
meantime I'll put CMP_LIB back since it's off by default (no guarantee
that it works though).

John