Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0004254OCamlOCaml generalpublic2007-04-04 11:132014-09-04 00:25
Reporterfrisch 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusfeedbackResolutionopen 
PlatformOSOS Version
Product Version 
Target VersionundecidedFixed in Version 
Summary0004254: -dllib options implicit in .cma should not be ignored when using -use-runtime or -use-prims
DescriptionIn bytelink.ml, the options -ccobj, -ccopt, -dllib and -custom present in linked .cma files are ignored when creating a bytecode executable using -use-runtime (or -use-prims). For -ccobj, -ccopt and -custom this is natural, but I think it would be best if it wasn't the case for -dllib (if one want to ignore these, one can still use -noautolink).
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0009981)
doligez (administrator)
2013-07-29 15:11

This looks strange. -use-runtime and -use-prims date back to a time when the runtime couldn't do dynamic loading of C files to get extra primitives. Why do you need them if you're going to dynamically load your primitives anyway?

- Issue History
Date Modified Username Field Change
2007-04-04 11:13 frisch New Issue
2007-11-10 13:54 xleroy Status new => acknowledged
2012-07-11 16:10 doligez Target Version => 4.01.0+dev
2012-07-31 13:37 doligez Target Version 4.01.0+dev => 4.00.1+dev
2012-09-14 23:56 doligez Target Version 4.00.1+dev => 4.01.0+dev
2013-07-27 06:38 gasche Summary Ne pas ignorer les -dllib implicites en cas de -use-runtime => -dllib options implicit in .cma should not be ignored when using -use-runtime or -use-prims
2013-07-27 06:38 gasche Description Updated View Revisions
2013-07-29 15:11 doligez Note Added: 0009981
2013-07-29 15:11 doligez Assigned To => doligez
2013-07-29 15:11 doligez Status acknowledged => feedback
2013-07-29 15:11 doligez Assigned To doligez =>
2013-07-29 15:11 doligez Target Version 4.01.0+dev => 4.01.1+dev
2014-05-25 20:20 doligez Target Version 4.01.1+dev => 4.02.0+dev
2014-08-18 18:19 doligez Target Version 4.02.0+dev => 4.02.1+dev
2014-09-04 00:25 doligez Target Version 4.02.1+dev => undecided


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker