kerneis
Error: Unbound value Util.memoize
There is a missing dependency. I'm on debian with the usual packages.
/usr/bin/ocamlopt.opt -c -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/blockinggraph.cmx src/ext/blockinggraph.ml
File "src/ext/blockinggraph.ml", line 121, characters 2-14:
Error: Unbound value Util.memoize
On Fri, Mar 14, 2014 at 12:10:29PM -0700, Reini Urban wrote:
/usr/bin/ocamlopt.opt -c -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/blockinggraph.cmx src/ext/blockinggraph.ml File "src/ext/blockinggraph.ml", line 121, characters 2-14: Error: Unbound value Util.memoize
Thanks for the report. This is a bug in CIL, that is now fixed in fact, but I need to merge the latest CIL version into CPC. I'll do that on Monday probably.
On Fri, Mar 14, 2014 at 12:10:29PM -0700, Reini Urban wrote:
/usr/bin/ocamlopt.opt -c -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/blockinggraph.cmx src/ext/blockinggraph.ml File "src/ext/blockinggraph.ml", line 121, characters 2-14: Error: Unbound value Util.memoize
Hmm, in fact I cannot reproduce the issue. Are you using the latest
develop branch? Could you please post a full
git checkout develop && git pull && ./configure && make log?
yes, latest git checkouts of develop for cpc and cil. see https://gist.github.com/rurban/9556725
checking whether to use CIL feature blockinggraph... no
But it still tries to build it… I'm lost. I'll sleep on it and see if I understand better what is going on.
In the meantime, you can git revert 3b3d57fb928cba8e2d95f8a4914030d6e0b5fe16.