Re: [MirageOS-devel] Profiling Mirage on Xen

[Anil Madhavapeddy <anil@xxxxxxxxxx>]

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).

-anil
_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel