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
palash "पलाश" <http://aprnatripathi.blogspot.com/>
--
With Best Regards
Aprna Tripathi
Research Scholar
Computer Science Department
MNNIT , Allahabad
palash "पलाश" <http://aprnatripathi.blogspot.com/>
------------------------------------------------------------------------------
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
