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_comb.c created. > > I use CIL version 1.7.3 on CentOS release 6.5x64 (Final),and Ocamls > version is 3.11.2-2.el6.x86_64. I didn't think it would trigger with 3.11 though. In any case, could you please try to get the latest version from git instead and see if you can reproduce the issue? https://github.com/cil-project/cil/ (Also, if at all possible, upgrade your OCaml installation. 3.11 is really old. If you are stuck with an old Linux distribution, you could still get a recent version using https://opam.ocaml.org/). Best, -- Gabriel ------------------------------------------------------------------------------ _______________________________________________ CIL-users mailing list CIL-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/cil-users
