Skip site navigation (1)Skip section navigation (2)
Date:      Thu, 1 May 2014 09:47:57 GMT
From:      Michael Gruenewald <michipili@gmail.com>
To:        freebsd-gnats-submit@FreeBSD.org
Subject:   ports/189176: lang/ocaml: DEF_OPT option interacts poorly with camlp4
Message-ID:  <201405010947.s419lvbf010459@cgiserv.freebsd.org>
Resent-Message-ID: <201405010950.s419o01O063883@freefall.freebsd.org>

next in thread | raw e-mail | index | archive | help

>Number:         189176
>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:00 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:



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201405010947.s419lvbf010459>