Re: [CIL users] tut2 interesting error

2015-04-13 Thread Xiaoyang Zhong
Thank you very much for your reply. I realized this reason later on. I suggest that in the beginning of the tutorial issues like this should be mentioned. As new to CIL, the "cmake ..; make; sudo make install" seems to be a one time installation, because I am also didn't know much about OCaml. And

Re: [CIL users] tut2 interesting error

2015-04-13 Thread Gabriel Kerneis
Le 2015-04-11 20:02, Xiaoyang Zhong a écrit : > I am new to CIL and I am going through the tutorials. I have > successfully ran tut2 according to the tutorial, however, when I did > some simple modification to main.ml [1] and tut2.c, the code seems > not > working. […] > I am very confused about t