Thanks for replying back.
I upgrade my CentOS distribution from 6.5 to 6.6,then get installed
recent OCaml and CIL version.Now CIL works well.
Thanks a lot.
Liao.
2015-11-05 6:41 GMT+08:00 Gabriel Kerneis :
> Le 2015-11-02 13:40, liaoyuehua a écrit :
> > /usr/local/bin/cilly.native --out ./de
Le 2015-11-02 13:40, liaoyuehua a écrit :
> /usr/local/bin/cilly.native --out ./demo.cil.c --verbose ./demo.o
> ./foo.o --mergedout ./demo_comb.c
Cilly hanging reminds me of a bug involving Obj.magic.
> but it could not stop while doing last command until I type
> ctrl+c.also there is no demo_com
