You can try to modify the definition of OPTBIN at the end of your
Makefile.config file, by removing .opt.
This variable is empty in the file that was auto-generated by configure.
How do you think about the addition of an option to choose the OCaml generation
tool in a different way at configuration time (and run time)?
(It seems that the option "--[no-]opt" does not fit to the use case I suggest.)
Perhaps you can tell SUSE to completely uninstall ocaml, and then
reinstall it?
I observe the unexpected behaviour also with the package "ocaml 3.12.1-27.2".
Could there be a problem with your hardware?
I find my computer hardware fine so far. But the situation results in the
segmentation fault in the context of my software environment.
Do you find reports of other people who cannot use the native code
compiler of ocaml on SUSE?
I am curious if other users will contribute corresponding details to the bug
report "Fix error source for a SIGSEGV crash from a small OCaml test program".
https://bugzilla.novell.com/show_bug.cgi?id=712726
Regards,
Markus
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)
