Skip to content
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

mkcamlp4 does not include dynlink.cma #4972

vicuna opened this Issue Feb 4, 2010 · 0 comments


None yet
1 participant
Copy link

commented Feb 4, 2010

Original bug ID: 4972
Reporter: joe
Assigned to: @xclerc
Status: closed (set by @xavierleroy on 2012-03-24T14:01:40Z)
Resolution: fixed
Priority: normal
Severity: minor
Version: 3.11.2
Fixed in version: 3.12.1+dev
Category: -for Camlp4 use

Bug description

The executable mkcamlp4 does not include dynlink.cma which is required by camlp4 as of version 3.11. This library is impossible to add by the user since the inclusion of the camlp4 library precludes all other arguments. The fix is trivial. Simply, line 64 of must be changed to:

run (["ocamlc"; "-I"; camlp4_standard_library; "dynlink.cma"; "camlp4lib.cma"; crc_ml]

This forces the inclusion of dynlink.cma prior to that of camlp4lib.cma.

@vicuna vicuna closed this Mar 24, 2012

@vicuna vicuna added camlp4 bug labels Mar 14, 2019

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.