| View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] |
| ID | Project | Category | View Status | Date Submitted | Last Update |
| 0004972 | OCaml | Camlp4 | public | 2010-02-04 14:33 | 2012-03-24 15:01 |
|
| Reporter | joe | |
| Assigned To | xclerc | |
| Priority | normal | Severity | minor | Reproducibility | always |
| Status | closed | Resolution | fixed | |
| Platform | | OS | | OS Version | |
| Product Version | 3.11.2 | |
| Target Version | | Fixed in Version | 3.12.1+dev | |
|
| Summary | 0004972: mkcamlp4 does not include dynlink.cma |
| 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. |
| Tags | No tags attached. |
|
| Attached Files | |
|
Relationships 
Relationships 