Skip to content

Bytecode only compilation fails when linking to stdlib

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

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information