[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: | 2009-09-29 (21:04) |
From: | Gerd Stolpmann <gerd@g...> |
Subject: | Re: [Caml-list] Incremental linking |
Am Dienstag, den 29.09.2009, 20:39 +0200 schrieb Dawid Toton: > I have lot of modules and they are compiled to native code. > So I have .cmx and .o files and want to link them faster. Well, you can link several .cmx files (and their accompanying .o files) to a .cmxa file (and an accompanying .a file): ocamlopt -a You cannot do the same again on the next level, i.e. link several .cmxa/.a together to get another .cmxa/.a. (I don't remember why this restriction exists.) Gerd > > Is is possible to make linking an associative operation acting on modules? > > I would like to do something like the following: > Knowing the correct partial order of modules (that compiler requires) I > can create a tree that preserves that order. Leafs are modules. Other > nodes of the tree correspond to a result of linking all descendant > modules. Modules that are frequently recompiled are placed closer to the > root. This way I expect to execute less linking operations during > development. > > Documentation of ld says that files produced with --relocatable can be > used as intermediate partially linked files. Can something like this be > done with object code produced by ocamlopt? > I don't know ocaml-specific details of linking, so maybe I overlook some > obvoius obstacle? > > Dawid > > _______________________________________________ > Caml-list mailing list. Subscription management: > http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list > Archives: http://caml.inria.fr > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > -- ------------------------------------------------------------ Gerd Stolpmann, Bad Nauheimer Str.3, 64289 Darmstadt,Germany gerd@gerd-stolpmann.de http://www.gerd-stolpmann.de Phone: +49-6151-153855 Fax: +49-6151-997714 ------------------------------------------------------------