On Sat, 20 Aug 2011, SF Markus Elfring wrote: > > 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.)
It tries to find the most efficient version of the compiler available on your machine. I don't really know how the makefile in the distributed code works. I say make to get a bytecode version and make opt to get a native code version. julia _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
