New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
ocamlmklib and .cmxa #3249
Comments
Comment author: administrator Same behavior with ocamlc -a vs ocamlopt -a. Wish: ocamlopt -a that accepts |
This problem still exists on 4.07.1 e.g.:
though I fail a bit to see the use case (repacking a set of libraries as a larger one ?). That being said the synopsis of
or at least widly different from what is specified in the manual. A look at the implementation seems to indicate that the synopsis is right. But the implementation strategy seems to be let's give all that to |
My understanding is that this limitation stems from there being no simple way to merge static libraries in a portable way. Including all that intricate logic in the compiler does not seem to fit with its overarching philosophy. With that, I move to close this issue. |
Yes, The |
That's because ocamlopt -a doesn't support .cmxa files as arguments. It is better to reject those files in ocamlmklib than later. The manual never said that ocamlmklib accepts .cmxa files. Closes: ocaml#3249
That's because ocamlopt -a doesn't support .cmxa files as arguments. It is better to reject those files in ocamlmklib than later. The manual never said that ocamlmklib accepts .cmxa files. Closes: #3249
Original bug ID: 3249
Reporter: administrator
Status: acknowledged
Resolution: open
Priority: normal
Severity: feature
Category: tools (ocaml{lex,yacc,dep,debug,...})
Bug description
Full_Name: Pascal
Version: 3.08 (Debian)
OS: Linux
Submission from: indigo.recherche.enac.fr (195.220.159.164)
ocamlmklib allows to include .cma libraries (by the way, it is not documented
but it works as expected):
but not .cmxa :
--Pascal
The text was updated successfully, but these errors were encountered: