Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0001983OCaml~DO NOT USE (was: OCaml general)public2003-12-17 07:322012-01-27 11:52
Assigned To 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version3.11.0 
Summary0001983: RFE: ability to compile a native code OCaml library into an .so (w/o strict version checking)
DescriptionFull_Name: Aleksey Nogin
Version: 3.07+2
OS: Red Hat Linux
Submission from: (

It would be really nice if it was possible:

a) to compile a native code OCaml library into an dynamic library (.so)
b) then link an OCaml program against an OCaml .so,
c) dynamically load and OCaml .so from an OCaml program. Ideally, the interface
for doing it would be shared between the bytecode (for dynloading of .cmo) and
native code (for dynloading of .so/.cmxa)

I know that there are a lot of issues if one insists on some smart version
compatibility checking. This RFE is _not_ about that - I would be happy if the
generated libraries were strongly tied to the environment in which they were
compiled and any slight change would require a recompile.

Basically, our project ( [^]) will benefit significantly if it
was possible to load modules at runtime - both in bytecode (similarly to the way
camlp4 does it) and native code.

P.S. [^] implements something like this.

TagsNo tags attached.
Attached Files

- Relationships

-  Notes
xleroy (administrator)
2012-01-27 11:52

Dynamic loading of natively-compiled OCaml code was implemented in version 3.11.0.

- Issue History
Date Modified Username Field Change
2005-11-18 10:13 administrator New Issue
2012-01-27 11:52 xleroy Note Added: 0006821
2012-01-27 11:52 xleroy Status acknowledged => closed
2012-01-27 11:52 xleroy Resolution open => fixed
2012-01-27 11:52 xleroy Fixed in Version => 3.11.0
2012-01-27 11:52 xleroy Description Updated View Revisions
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