From nobody@FreeBSD.org  Thu May  1 09:47:57 2014
Return-Path: <nobody@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 E3AEE3E2
	for <freebsd-gnats-submit@FreeBSD.org>; Thu,  1 May 2014 09:47:57 +0000 (UTC)
Received: from cgiserv.freebsd.org (cgiserv.freebsd.org [IPv6:2001:1900:2254:206a::50:4])
	(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 D17E515A7
	for <freebsd-gnats-submit@FreeBSD.org>; Thu,  1 May 2014 09:47:57 +0000 (UTC)
Received: from cgiserv.freebsd.org ([127.0.1.6])
	by cgiserv.freebsd.org (8.14.8/8.14.8) with ESMTP id s419lvBU010466
	for <freebsd-gnats-submit@FreeBSD.org>; Thu, 1 May 2014 09:47:57 GMT
	(envelope-from nobody@cgiserv.freebsd.org)
Received: (from nobody@localhost)
	by cgiserv.freebsd.org (8.14.8/8.14.8/Submit) id s419lvbf010459;
	Thu, 1 May 2014 09:47:57 GMT
	(envelope-from nobody)
Message-Id: <201405010947.s419lvbf010459@cgiserv.freebsd.org>
Date: Thu, 1 May 2014 09:47:57 GMT
From: Michael Gruenewald <michipili@gmail.com>
To: freebsd-gnats-submit@FreeBSD.org
Subject: lang/ocaml: DEF_OPT option interacts poorly with camlp4
X-Send-Pr-Version: www-3.1
X-GNATS-Notify:

>Number:         189176
>Category:       ports
>Synopsis:       lang/ocaml: DEF_OPT option interacts poorly with camlp4
>Confidential:   no
>Severity:       non-critical
>Priority:       low
>Responsible:    marino
>State:          open
>Quarter:        
>Keywords:       
>Date-Required:  
>Class:          maintainer-update
>Submitter-Id:   current-users
>Arrival-Date:   Thu May 01 09:50:00 UTC 2014
>Closed-Date:    
>Last-Modified:  Sat May 10 18:26:44 UTC 2014
>Originator:     Michael Gruenewald
>Release:        10.0-STABLE
>Organization:
>Environment:
FreeBSD llea.celt.neu 10.0-STABLE FreeBSD 10.0-STABLE #1 r264797: Wed Apr 23 07:46:36 CEST 2014     root@llea.celt.neu:/usr/obj/usr/src/sys/LLEA  amd64

>Description:
Anil Madhavapeddy reported:

> The DEF_OPT patch that swaps out camlp4o.opt with camlp4o breaks a lot of OCaml builds, since camlp4 dynamically loads in syntax extension modules that are  different in bytecode (.cma) and native code (.cmxs).

> It would be safer to remove camlp4 from the MODOPT substitution list, or remove the entire option. Most build systems will look for the .opt version of the compiler these days anyway (such as OASIS).

> I've had at least one user report a failure that turned out to be due to DEF_OPT; https://github.com/ocaml/opam/issues/1044

I (maintainer) would opt to phase out the DEF_OPT option and will soon submit a patch.
>How-To-Repeat:

>Fix:


>Release-Note:
>Audit-Trail:
Class-Changed-From-To: sw-bug->maintainer-update 
Class-Changed-By: edwin 
Class-Changed-When: Thu May 1 09:50:10 UTC 2014 
Class-Changed-Why:  
Fix category (submitter is maintainer) (via the GNATS Auto Assign Tool) 

http://www.freebsd.org/cgi/query-pr.cgi?pr=189176 

From: Michael <michipili@gmail.com>
To: bug-followup@FreeBSD.org, michipili@gmail.com
Cc:  
Subject: Re: ports/189176: lang/ocaml: DEF_OPT option interacts poorly with
 camlp4
Date: Thu, 08 May 2014 10:47:25 +0200

 I prepared a patch to fix this. I will submit together with the patch
 for ports/189063 which also updates lang/ocaml. That patch is ready and
 the last tests are on the way.
Responsible-Changed-From-To: freebsd-ports-bugs->marino 
Responsible-Changed-By: marino 
Responsible-Changed-When: Sat May 10 18:26:43 UTC 2014 
Responsible-Changed-Why:  
I'll take it. 

http://www.freebsd.org/cgi/query-pr.cgi?pr=189176 
>Unformatted:
