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 <gabr...@kerneis.info>: > 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 >
------------------------------------------------------------------------------
_______________________________________________ CIL-users mailing list CIL-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/cil-users
