Re: math/coq update (7.3.1)

[naddy@mips.inka.de (Christian Weisgerber)]

Yozo TODA <yozo@v007.vaio.ne.jp> wrote:

> I suppose one possibility is
> making a native-code compiler flavor for lang/ocaml;
> any port depending on lang/ocaml check
> if native-compiler flavor exist or not, and
> decide automatically to use native-code compiler or byte-code compiler.

This can be much better handled with a module that is maintained
as part of the lang/ocaml port (cf. for instance qt3.port.mk).

The module would specify a dependency on lang/ocaml and a variable
that tells whether the native code compiler or only the byte code
compiler is available.  Ports would specify MODULES=ocaml and use
the abovementioned variable.

-- 
Christian "naddy" Weisgerber                          naddy@mips.inka.de