ID0002378: **This issue was created automatically from Mantis Issue 2378. Further discussion may take place here.** --- | **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** | | --- | --- | --- | --- | --- | --- | | ID0002378 | Frama-C | ptests | public | 2018-06-18 | 2020-02-17 | | | | | | | | | --- | --- | --- | --- | --- | --- | | **Reporter** | madroach | **Assigned To** | maroneze | **Resolution** | fixed | | **Priority** | normal | **Severity** | minor | **Reproducibility** | have not tried | | **Platform** | bytecode-only | **OS** | OpenBSD | **OS Version** | 6.3 | | **Product Version** | - | **Target Version** | - | **Fixed in Version** | Frama-C 20-Calcium | ### Description : Compiling bytecode only fails with this error: ocamlfind ocamlc -I ptests -dtypes -vmthread -g -o bin/ptests.byte unix.cma threads.cma str.cma dynlink.cma ptests/ptests_config.ml ptests/ptests.ml File "ptests/ptests.ml", line 1: Error: Required module `Uchar' is unavailable ### Steps To Reproduce : Compile OCaml >=4.03 without optimizing compilers. Use this compiler to build frama-c ## Attachments - [patch-configure_in](/uploads/bf282dbc3c08065b0ff2a13f4fb83464/patch-configure_in) - [patch-Makefile](/uploads/8465ce62432109e8765f692552e038a5/patch-Makefile) - [patch-configure_in_2](/uploads/0fc49374e72889fac876d95a3de5dd71/patch-configure_in_2) - [patch-Makefile_2](/uploads/568208604221bf782f915ed5f2ccf1b0/patch-Makefile_2) - [patch-Makefile_3](/uploads/c238c03a2a9a0c54e559a994b4448f87/patch-Makefile_3)