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. Alternatively, you can try the following: - make a symbolic link from your partools/ directory into src/ext/ (necessary because ocamlbuild does not allow to include paths above the root of CIL), - add the following line to src/ext/_tags: <partools>: include - you might also need to add the name of your module to src/cil.mllib (not sure). Let me know if you manage to get this working. Sorry again, -- Gabriel ------------------------------------------------------------------------------ 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
