Re: [CIL users] New feature: CIL plugins

2013-10-10 Thread Jonathan Kotker
Oh okay -- that means I should probably update to the latest version then, and see if that helps in any way. Thanks for the heads-up! On 10 October 2013 11:28, Gabriel Kerneis wrote: > On Thu, Oct 10, 2013 at 10:03:49AM -0700, Jonathan Kotker wrote: > > I used to use --load, but then one of my

Re: [CIL users] New feature: CIL plugins

2013-10-10 Thread Gabriel Kerneis
On Thu, Oct 10, 2013 at 10:03:49AM -0700, Jonathan Kotker wrote: > I used to use --load, but then one of my beta-testers informed me that he > seemed to have needed findlib, which spawned off my question to you. I suspect the following happened: - cilly did not find the cma/cmxs (--load was buggy,

Re: [CIL users] New feature: CIL plugins

2013-10-10 Thread Jonathan Kotker
I used to use --load, but then one of my beta-testers informed me that he seemed to have needed findlib, which spawned off my question to you. On 10 October 2013 09:53, Gabriel Kerneis wrote: > On Thu, Oct 10, 2013 at 09:29:56AM -0700, Jonathan Kotker wrote: > > Since I am using Python to execu

Re: [CIL users] New feature: CIL plugins

2013-10-10 Thread Gabriel Kerneis
On Thu, Oct 10, 2013 at 09:29:56AM -0700, Jonathan Kotker wrote: > Since I am using Python to execute the Cilly driver, I managed to find a > way to dynamically set the environment variable OCAMLPATH (albeit > temporarily) from within my Python script, and it works beautifully once > the OCaml code

Re: [CIL users] New feature: CIL plugins

2013-10-10 Thread Jonathan Kotker
Brilliant, thank you very much for the detailed answers, Gabriel. Since I am using Python to execute the Cilly driver, I managed to find a way to dynamically set the environment variable OCAMLPATH (albeit temporarily) from within my Python script, and it works beautifully once the OCaml code has b