Dear Sir,



I am tring to run C2Promela at cygwin
following all the step given at http://www.ida.liu.se/~kejia/c2promela/
 
but following probel come.
i am not getting what i am missing.
if you can understand or find the solution. pl do it

Compiling C file ocamlutil/perfcount.c

Linking bytecode obj/x86_WIN32/cilly.byte.exe

+ flexlink -chain cygwin -merge-manifest -exe -o 'obj/x86_WIN32/cilly.byte.exe' '-L/usr/lib/ocaml' -g '/cygdrive/c/Users/Aditya/AppData/Local/Temp/camlprim3a2521.c' '-lcamlstr' '-lunix' '-lunix' '-lstr' 'obj/x86_WIN32/perfcount.o' '-lcamlrun' -I'/usr/lib/ocaml' -lm -lcurses -lpthread

** Fatal error: Cannot find file "libstr"

File "_none_", line 1, characters 0-1:

Error: Error while building custom runtime system

Makefile:116: recipe for target `obj/x86_WIN32/cilly.byte.exe' failed

make[1]: *** [obj/x86_WIN32/cilly.byte.exe] Error 2

make[1]: Leaving directory `/cygdrive/c/Users/Aditya/C2Promela/cil'

Makefile:13: recipe for target `all' failed

make: *** [all] Error 2


--
With Best Regards
Aprna Tripathi
Research Scholar 
Computer Science Department
MNNIT , Allahabad 






--
With Best Regards
Aprna Tripathi
Research Scholar 
Computer Science Department
MNNIT , Allahabad 

palash "पलाश"