From owner-freebsd-ports-bugs@FreeBSD.ORG Thu May 1 09:50:01 2014 Return-Path: Delivered-To: freebsd-ports-bugs@smarthost.ysv.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 B3F7540E for ; Thu, 1 May 2014 09:50:01 +0000 (UTC) Received: from freefall.freebsd.org (freefall.freebsd.org [IPv6:2001:1900:2254:206c::16:87]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 77AE815C0 for ; Thu, 1 May 2014 09:50:01 +0000 (UTC) Received: from freefall.freebsd.org (localhost [127.0.0.1]) by freefall.freebsd.org (8.14.8/8.14.8) with ESMTP id s419o1Mv063963 for ; Thu, 1 May 2014 09:50:01 GMT (envelope-from gnats@freefall.freebsd.org) Received: (from gnats@localhost) by freefall.freebsd.org (8.14.8/8.14.8/Submit) id s419o1lK063961; Thu, 1 May 2014 09:50:01 GMT (envelope-from gnats) Resent-Date: Thu, 1 May 2014 09:50:01 GMT Resent-Message-Id: <201405010950.s419o1lK063961@freefall.freebsd.org> Resent-From: FreeBSD-gnats-submit@FreeBSD.org (GNATS Filer) Resent-To: freebsd-ports-bugs@FreeBSD.org Resent-Reply-To: FreeBSD-gnats-submit@FreeBSD.org, Michael Gruenewald Received: from mx1.freebsd.org (mx1.freebsd.org [8.8.178.115]) (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits)) (No client certificate requested) by hub.freebsd.org (Postfix) with ESMTPS id 96EE43F2 for ; Thu, 1 May 2014 09:48:51 +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 846EA15B1 for ; Thu, 1 May 2014 09:48:51 +0000 (UTC) Received: from cgiserv.freebsd.org ([127.0.1.6]) by cgiserv.freebsd.org (8.14.8/8.14.8) with ESMTP id s419mp8c019284 for ; Thu, 1 May 2014 09:48:51 GMT (envelope-from nobody@cgiserv.freebsd.org) Received: (from nobody@localhost) by cgiserv.freebsd.org (8.14.8/8.14.8/Submit) id s419mpaB019280; Thu, 1 May 2014 09:48:51 GMT (envelope-from nobody) Message-Id: <201405010948.s419mpaB019280@cgiserv.freebsd.org> Date: Thu, 1 May 2014 09:48:51 GMT From: Michael Gruenewald To: freebsd-gnats-submit@FreeBSD.org X-Send-Pr-Version: www-3.1 Subject: ports/189178: lang/ocaml: DEF_OPT option interacts poorly with camlp4 X-BeenThere: freebsd-ports-bugs@freebsd.org X-Mailman-Version: 2.1.17 Precedence: list List-Id: Ports bug reports List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 01 May 2014 09:50:01 -0000 >Number: 189178 >Category: ports >Synopsis: lang/ocaml: DEF_OPT option interacts poorly with camlp4 >Confidential: no >Severity: non-critical >Priority: low >Responsible: freebsd-ports-bugs >State: open >Quarter: >Keywords: >Date-Required: >Class: sw-bug >Submitter-Id: current-users >Arrival-Date: Thu May 01 09:50:01 UTC 2014 >Closed-Date: >Last-Modified: >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: >Unformatted: