search

kerneis / cpc

Continuation Passing C
http://www.pps.univ-paris-diderot.fr/~kerneis/software/cpc
Other
112 stars 13 forks source link

Error: Unbound value Util.memoize #13

Open rurban opened 10 years ago

rurban commented 10 years ago

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
kerneis commented 10 years ago

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.

kerneis commented 10 years ago

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?

rurban commented 10 years ago

yes, latest git checkouts of develop for cpc and cil. see https://gist.github.com/rurban/9556725

kerneis commented 10 years ago 
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.

kerneis commented 10 years ago

In the meantime, you can git revert 3b3d57fb928cba8e2d95f8a4914030d6e0b5fe16.

rurban commented 10 years ago

See pull req #14