You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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 https://github.com/ocaml/camlp4/issues
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 mkcamlp4.ml 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.
The text was updated successfully, but these errors were encountered:
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 https://github.com/ocaml/camlp4/issues
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 mkcamlp4.ml 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.
The text was updated successfully, but these errors were encountered: