How do you create and use a .cma file?
I'm creating a .cma file with:
ocamlc -o ./_build/myLib.cma -a ./_build/myBtree.cmo
But, try as I might, I can't use this file. I keep getting "Error: Unbound module MyLib".
Could someone please post a simple example that uses ocamlc (please no build utility examples) to create a .cma file and then use that .cma file in a bytecode executable.
Completely lost...
ocaml
add a comment |
I'm creating a .cma file with:
ocamlc -o ./_build/myLib.cma -a ./_build/myBtree.cmo
But, try as I might, I can't use this file. I keep getting "Error: Unbound module MyLib".
Could someone please post a simple example that uses ocamlc (please no build utility examples) to create a .cma file and then use that .cma file in a bytecode executable.
Completely lost...
ocaml
add a comment |
I'm creating a .cma file with:
ocamlc -o ./_build/myLib.cma -a ./_build/myBtree.cmo
But, try as I might, I can't use this file. I keep getting "Error: Unbound module MyLib".
Could someone please post a simple example that uses ocamlc (please no build utility examples) to create a .cma file and then use that .cma file in a bytecode executable.
Completely lost...
ocaml
I'm creating a .cma file with:
ocamlc -o ./_build/myLib.cma -a ./_build/myBtree.cmo
But, try as I might, I can't use this file. I keep getting "Error: Unbound module MyLib".
Could someone please post a simple example that uses ocamlc (please no build utility examples) to create a .cma file and then use that .cma file in a bytecode executable.
Completely lost...
ocaml
ocaml
edited Nov 17 '18 at 20:19
melpomene
59.3k54691
59.3k54691
asked Nov 17 '18 at 20:14
G4143G4143
435615
435615
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
When creating a library by hand, you need to keep in mind that a library has at least two sides:
- an implementation side which is handled by the cm(x)a file for the library
- an interface side which should contain a cmi file for each public module exposed by the library.
For instance, if the library source files consist of
lib_src
|- a.ml
|- b.ml
|- c.ml
then the compiled interface for a bytecode library could be restricted to just A
and B
by not exposing b.cmi
. Thus, one could have a compiled library with just the following files:
lib
|- a.cmi
|- c.cmi
|- lib.cma
At this point, compiling a module User
that depends on the library
(* user.ml *)
printf "%d" A.x
requires to both link the archive lib.cma, but also indicate the location of the cmi
files with -I
:
ocamlc -I lib lib.cma user.ml
A second notable point is that a cma
file is just a set of cmo
files. It does not implement any kind of namespacing by itself. Thus there is no Lib
module introduced by lib.cma
. The namespacing is generally implemented by the build system itself.
Thanks for the complete example. I was missing the interface files.
– G4143
Nov 17 '18 at 22:24
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
StackExchange.using("externalEditor", function () {
StackExchange.using("snippets", function () {
StackExchange.snippets.init();
});
});
}, "code-snippets");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "1"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fstackoverflow.com%2fquestions%2f53355157%2fhow-do-you-create-and-use-a-cma-file%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
When creating a library by hand, you need to keep in mind that a library has at least two sides:
- an implementation side which is handled by the cm(x)a file for the library
- an interface side which should contain a cmi file for each public module exposed by the library.
For instance, if the library source files consist of
lib_src
|- a.ml
|- b.ml
|- c.ml
then the compiled interface for a bytecode library could be restricted to just A
and B
by not exposing b.cmi
. Thus, one could have a compiled library with just the following files:
lib
|- a.cmi
|- c.cmi
|- lib.cma
At this point, compiling a module User
that depends on the library
(* user.ml *)
printf "%d" A.x
requires to both link the archive lib.cma, but also indicate the location of the cmi
files with -I
:
ocamlc -I lib lib.cma user.ml
A second notable point is that a cma
file is just a set of cmo
files. It does not implement any kind of namespacing by itself. Thus there is no Lib
module introduced by lib.cma
. The namespacing is generally implemented by the build system itself.
Thanks for the complete example. I was missing the interface files.
– G4143
Nov 17 '18 at 22:24
add a comment |
When creating a library by hand, you need to keep in mind that a library has at least two sides:
- an implementation side which is handled by the cm(x)a file for the library
- an interface side which should contain a cmi file for each public module exposed by the library.
For instance, if the library source files consist of
lib_src
|- a.ml
|- b.ml
|- c.ml
then the compiled interface for a bytecode library could be restricted to just A
and B
by not exposing b.cmi
. Thus, one could have a compiled library with just the following files:
lib
|- a.cmi
|- c.cmi
|- lib.cma
At this point, compiling a module User
that depends on the library
(* user.ml *)
printf "%d" A.x
requires to both link the archive lib.cma, but also indicate the location of the cmi
files with -I
:
ocamlc -I lib lib.cma user.ml
A second notable point is that a cma
file is just a set of cmo
files. It does not implement any kind of namespacing by itself. Thus there is no Lib
module introduced by lib.cma
. The namespacing is generally implemented by the build system itself.
Thanks for the complete example. I was missing the interface files.
– G4143
Nov 17 '18 at 22:24
add a comment |
When creating a library by hand, you need to keep in mind that a library has at least two sides:
- an implementation side which is handled by the cm(x)a file for the library
- an interface side which should contain a cmi file for each public module exposed by the library.
For instance, if the library source files consist of
lib_src
|- a.ml
|- b.ml
|- c.ml
then the compiled interface for a bytecode library could be restricted to just A
and B
by not exposing b.cmi
. Thus, one could have a compiled library with just the following files:
lib
|- a.cmi
|- c.cmi
|- lib.cma
At this point, compiling a module User
that depends on the library
(* user.ml *)
printf "%d" A.x
requires to both link the archive lib.cma, but also indicate the location of the cmi
files with -I
:
ocamlc -I lib lib.cma user.ml
A second notable point is that a cma
file is just a set of cmo
files. It does not implement any kind of namespacing by itself. Thus there is no Lib
module introduced by lib.cma
. The namespacing is generally implemented by the build system itself.
When creating a library by hand, you need to keep in mind that a library has at least two sides:
- an implementation side which is handled by the cm(x)a file for the library
- an interface side which should contain a cmi file for each public module exposed by the library.
For instance, if the library source files consist of
lib_src
|- a.ml
|- b.ml
|- c.ml
then the compiled interface for a bytecode library could be restricted to just A
and B
by not exposing b.cmi
. Thus, one could have a compiled library with just the following files:
lib
|- a.cmi
|- c.cmi
|- lib.cma
At this point, compiling a module User
that depends on the library
(* user.ml *)
printf "%d" A.x
requires to both link the archive lib.cma, but also indicate the location of the cmi
files with -I
:
ocamlc -I lib lib.cma user.ml
A second notable point is that a cma
file is just a set of cmo
files. It does not implement any kind of namespacing by itself. Thus there is no Lib
module introduced by lib.cma
. The namespacing is generally implemented by the build system itself.
answered Nov 17 '18 at 21:33
octachronoctachron
4,4281513
4,4281513
Thanks for the complete example. I was missing the interface files.
– G4143
Nov 17 '18 at 22:24
add a comment |
Thanks for the complete example. I was missing the interface files.
– G4143
Nov 17 '18 at 22:24
Thanks for the complete example. I was missing the interface files.
– G4143
Nov 17 '18 at 22:24
Thanks for the complete example. I was missing the interface files.
– G4143
Nov 17 '18 at 22:24
add a comment |
Thanks for contributing an answer to Stack Overflow!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fstackoverflow.com%2fquestions%2f53355157%2fhow-do-you-create-and-use-a-cma-file%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown