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