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 feature_config.ml (for both 1.7.0 and 1.7.1):
(* This module was generated automatically by code in Makefile.in *)
open Cil
let features : featureDescr list = [
(* EXTRAFEATURES: *)
Partools.feature;
]
and the part of Makefile.in that generates it looks the same
in both versions, except for a couple of comments.
This is CIL configuration:
CIL configuration:
(optional) cl.exe found: HAS_MSVC no
gcc to use CC gcc
default compiler DEFAULT_COMPILER _GNUCC
CIL version CIL_VERSION 1.7.1
CIL features CIL_FEATURES partools
Extra source directories EXTRASRCDIRS
.../partools/partools-ocaml-cil
The feature var in partools.ml is:
let feature : featureDescr = {
fd_name = "ParTools";
fd_enabled = ref false;
fd_description = "code instrumentation for ParTools";
fd_extraopt = [];
fd_doit = doit;
fd_post_check = true;
}
and looks quite similar to src/ext/logwrites.ml in 1.7.1.
Any clue what can cause this error or where to look for it?
Thanks,
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
[email protected]
https://lists.sourceforge.net/lists/listinfo/cil-users
