Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0003664OCamlOCaml generalpublic2005-05-26 15:372013-09-03 15:55
Assigned To 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0003664: C optimization level
DescriptionFull_Name: Toshio Kuratomi
Version: 3.08.3
OS: Linux: Fedora Core 4
Submission from: (

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";;

+# Allow user defined C Compiler flags
+bytecccompopts="$bytecccompopts $CFLAGS"
+nativecccompopts="$nativecccompopts $CFLAGS"
 # Finish generated files

 cclibs="$cclibs $mathlib"

Attached Files

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2005-11-18 10:13 administrator New Issue
2013-09-03 15:55 doligez Tag Attached: patch

Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker