Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0003664OCaml~DO NOT USE (was: OCaml general)public2005-05-26 15:372016-12-06 22:57
Assigned Toshinwell 
StatusresolvedResolutionwon't fix 
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
shinwell (developer)
2016-12-06 22:57

I'm not sure this needs to remain open. There are plans to move to autoconf in the future, for what it's worth. Perhaps more importantly, I suspect one of the motivations for this PR might have been increasing the optimisation level with which the runtime system is compiled---this has now been increased with the necessary safeguards by default.

- Issue History
Date Modified Username Field Change
2005-11-18 10:13 administrator New Issue
2013-09-03 15:55 doligez Tag Attached: patch
2016-12-06 22:57 shinwell Note Added: 0016683
2016-12-06 22:57 shinwell Status acknowledged => resolved
2016-12-06 22:57 shinwell Resolution open => won't fix
2016-12-06 22:57 shinwell Assigned To => shinwell
2017-02-23 16:36 doligez Category OCaml general => -OCaml general
2017-03-03 17:55 doligez Category -OCaml general => -(deprecated) general
2017-03-03 18:01 doligez Category -(deprecated) general => ~deprecated (was: OCaml general)
2017-03-06 17:04 doligez Category ~deprecated (was: OCaml general) => ~DO NOT USE (was: OCaml general)

Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker