On Thu, Feb 21, 2013 at 03:28:24PM +0530, अपर्णा त्रिपाठी wrote: > I am tring to run C2Promela at cygwin > following all the step given at http://www.ida.liu.se/~kejia/c2promela/ > ** Fatal error: Cannot find file "libstr"
Old version of CIL, recent version of the OCaml compiler. Three solutions: - downgrade to OCaml 3.11 (not recommended), - upgrade the cil/ directory with the latest release of CIL (recommended assuming it has not been modified by C2Promela): http://sourceforge.net/projects/cil/files/latest/download - or apply the following patch to cil/Makefile.in: https://github.com/kerneis/cil/commit/a7760890bf9e506dbb11fbd934243ecce9e163af Best, -- Gabriel ------------------------------------------------------------------------------ Everyone hates slow websites. So do we. Make your web apps faster with AppDynamics Download AppDynamics Lite for free today: http://p.sf.net/sfu/appdyn_d2d_feb _______________________________________________ CIL-users mailing list CIL-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/cil-users
