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.
Fix category (submitter is maintainer) (via the GNATS Auto Assign Tool)
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.
I'll take it.
and the patch is where?
Created attachment 143655 [details]
Since our work on 189063 needs more time than we estimated, we will need to solve that issue separately. Here is a patch for this (189176) one.
lang-ocaml.patch, which you just uploaded, seems to be a patch to math/ocamlgsl, not lang/ocaml.
Attachment 143655 [details] starts with
diff --git a/lang/ocaml/Makefile b/lang/ocaml/Makefile
index 0ff58d7..227c642 100644
It does not look like a patch to math/ocamlgsl. Or am I missing something?
it did, but it doesn't anymore. weird.
A commit references this bug:
Date: Tue Jun 10 23:40:38 UTC 2014
New revision: 357402
lang/ocaml: Remove DEF_OPT option (non-default option)
The option reacts poorly with ocamlp4, and phasing out DEF_OPT
completely will prevent a lot of breakage with ports that also
interact with ocamlp4.
Submitted by: Anil Madhavapeddy
Prepared by: maintainer (Michael Gruenewald)