[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [MirageOS-devel] Profiling Mirage on Xen

On 21 Aug 2014, at 10:00, Thomas Gazagnaire <thomas@xxxxxxxxxxxxxx> wrote:

>>> I'm settting up a 4.01 switch with profiling on.
>> Thanks!
> done, I've set OCAMLPARAM to set -g and -p to all ocamlc/ocamlopt invocation 
> in the 4.01.0+profile switch. Feel free to modify the compiler description to 
> fill you needs:
> https://github.com/ocaml/opam-repository/blob/master/compilers/4.01.0/4.01.0%2Bprofile/4.01.0%2Bprofile.comp

This is really useful!  The lack of extensibility in the env var bugs me quite 
a lot, since it's not possible to locally override the OCAMLPARAM with other 
fields (such as -bin-annot).

Do you think that an OPAM feature request to support a += field in env is 
worthwhile at this late stage?  I'm thinking that this would be useful for 
environment variables that support colon-separated delimiters (which I believe 
OCAMLPARAM does, but I can't find any documentation for it in the manual).

MirageOS-devel mailing list



Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.