On Sat, Aug 17, 2013 at 09:39:16AM +0100, Gabriel Kerneis wrote: > On Sat, Aug 17, 2013 at 01:36:07AM +0200, Mihai T. Lazarescu wrote: > > I get this error: > > > > File "feature_config.ml", line 6, characters 3-19: > > Error: Unbound value Partools.feature > > Command exited with code 2. > > make[1]: *** [_build/src/cil.cma] Error 10 > > > > when I try to compile my partools.ml module into CIL versions > > starting from 1.7.1 up. The same code configures and compiles > > fine from 1.3.x to 1.7.0. > > This is a consequence of switching to ocamlbuild. I deeply > apologise for the inconvenience, I didn't realise I was > breaking this use case when I did it. > > My best advice is to wait for the next release, which will > allow you to compile your module against the CIL library > (cil.cma/cmxa) and load it dynamically. That way, you > won't even need to configure CIL specially for your module. > However, this feature is not finished yet. In the meantime, > the best is probably to stick with 1.7.0.
Go figure, no need to apologise! Thanks for the explanation. I can surely stick with 1.7.0 for now. I was happily using 1.4.0 before... :-) Best, Mihai ------------------------------------------------------------------------------ Get 100% visibility into Java/.NET code with AppDynamics Lite! It's a free troubleshooting tool designed for production. Get down to code-level detail for bottlenecks, with <2% overhead. Download for free and get started troubleshooting in minutes. http://pubads.g.doubleclick.net/gampad/clk?id=48897031&iu=/4140/ostg.clktrk _______________________________________________ CIL-users mailing list CIL-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/cil-users
