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 it also seems that learning some
basic knowledge of Ocaml is the prerequisite of learning CIL.
I know issues like this would be too trivial for a experienced CIL user,
however, it would be very helpful for a new learner if they are clearly
addressed in the tutorial.
Best,
Xiaoyang
On Mon, Apr 13, 2015 at 6:27 AM, Gabriel Kerneis <gabr...@kerneis.info>
wrote:
> 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 the strange error. Does anyone can help?
>
> This is unexpected indeed. Are you sure you have recompiled main.ml
> between each modification of the code? What you describe would
> correspond to the original source still being used.
>
> Best,
> --
> Gabriel
>
>
> ------------------------------------------------------------------------------
> BPM Camp - Free Virtual Workshop May 6th at 10am PDT/1PM EDT
> Develop your own process in accordance with the BPMN 2 standard
> Learn Process modeling best practices with Bonita BPM through live
> exercises
> http://www.bonitasoft.com/be-part-of-it/events/bpm-camp-virtual-
> event?utm_
> source=Sourceforge_BPM_Camp_5_6_15&utm_medium=email&utm_campaign=VA_SF
> _______________________________________________
> CIL-users mailing list
> CIL-users@lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/cil-users
>
------------------------------------------------------------------------------
BPM Camp - Free Virtual Workshop May 6th at 10am PDT/1PM EDT
Develop your own process in accordance with the BPMN 2 standard
Learn Process modeling best practices with Bonita BPM through live exercises
http://www.bonitasoft.com/be-part-of-it/events/bpm-camp-virtual- event?utm_
source=Sourceforge_BPM_Camp_5_6_15&utm_medium=email&utm_campaign=VA_SF
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users
