On Sat, 20 Aug 2011, SF Markus Elfring wrote: > > OK, it's an ocaml problem, not a coccinelle problem. > > I have got a technical problem with the native code generation on my openSUSE > 11.4 system. Is it possible to configure your program "spatch" to invoke the > tool "ocamlc" instead of "ocamlopt" (or "ocamlopt.opt")? > How do you think about a possibility to use the byte code compiler so that my > error situation can be circumvented?
You can try to modify the definition of OPTBIN at the end of your Makefile.config file, by removing .opt. Perhaps you can tell SUSE to completely uninstall ocaml, and then reinstall it? Could there be a problem with your hardware? I have vaguely the impression that that turned out to be the issue the last time someone reported suc a problem. Do you find reports of other people who cannot use the native code compiler of ocaml on SUSE? julia _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
