Then compile it as ocamlopt -o foo foo.ml.
This command works.
Then run it as ./foo
Unfortunately, I get another unexpected result. (Error message "Speicherzugriffsfehler")
GDB: Program received signal SIGSEGV, Segmentation fault. 0x000000000062ee00 in strcpy@@GLIBC_2.2.5 ()
Do you have another machine on which you could try installing Coccinelle, to see if it gives the same problem?
No, not at the moment. Would it be useful to ask other software developers for further help? http://software.opensuse.org/search?q=Coccinelle&baseproject=openSUSE%3A11.4&exclude_debug=true Regards, Markus _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
