| Anonymous | Login | Signup for a new account | 2013-05-25 13:06 CEST | ![]() |
| Main | My View | View Issues | Change Log | Roadmap |
| View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||||
| ID | Project | Category | View Status | Date Submitted | Last Update | ||||||
| 0003664 | OCaml | OCaml general | public | 2005-05-26 15:37 | 2005-06-22 14:31 | ||||||
| Reporter | administrator | ||||||||||
| Assigned To | |||||||||||
| Priority | normal | Severity | feature | Reproducibility | always | ||||||
| Status | acknowledged | Resolution | open | ||||||||
| Platform | OS | OS Version | |||||||||
| Product Version | |||||||||||
| Target Version | Fixed in Version | ||||||||||
| Summary | 0003664: C optimization level | ||||||||||
| Description | Full_Name: Toshio Kuratomi Version: 3.08.3 OS: Linux: Fedora Core 4 Submission from: host168.office.sover.net (209.198.73.62) When compiling ocaml itself, the C compiler is used. This step should allow the builder of the program to override the default optimization level (-O) with one that they specify. The normal way in a GNU autoconf world is to set the CFLAGS environment variable and this brings the builder's optimization level (and other flags to the C compiler) into the build process. Here's a patch to do just that. --- ocaml-3.08.3/configure.opt 2005-05-08 19:00:34.000000000 -0400 +++ ocaml-3.08.3/configure 2005-05-08 19:54:50.000000000 -0400 @@ -1455,6 +1455,10 @@ nativecccompopts="$nativecccompopts -fomit-frame-pointer";; esac +# Allow user defined C Compiler flags +bytecccompopts="$bytecccompopts $CFLAGS" +nativecccompopts="$nativecccompopts $CFLAGS" + # Finish generated files cclibs="$cclibs $mathlib" | ||||||||||
| Tags | No tags attached. | ||||||||||
| Attached Files | |||||||||||
Issue History |
|||
| Date Modified | Username | Field | Change |
| 2005-11-18 10:13 | administrator | New Issue | |
| Copyright © 2000 - 2011 MantisBT Group |