Frama-C Bug Tracking System - Frama-C
View Issue Details
0002378Frama-Cptestspublic2018-06-18 16:482019-02-25 02:01
normalminorhave not tried
0002378: Bytecode only compilation fails when linking to stdlib
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/
File "ptests/", line 1:
Error: Required module `Uchar' is unavailable
Compile OCaml >=4.03 without optimizing compilers.
Use this compiler to build frama-c
No tags attached.
? patch-configure_in (1,400) 2019-02-24 23:55
? patch-Makefile (888) 2019-02-25 02:01
Issue History
2018-06-18 16:48madroachNew Issue
2018-06-18 16:48madroachStatusnew => assigned
2018-06-18 16:48madroachAssigned To => virgile
2018-11-30 10:41signolesAssigned Tovirgile => bobot
2019-02-24 23:56madroachFile Added: patch-configure_in
2019-02-24 23:58madroachNote Added: 0006752
2019-02-24 23:59madroachNote Edited: 0006752bug_revision_view_page.php?bugnote_id=6752#r392
2019-02-25 02:01madroachFile Added: patch-Makefile

2019-02-24 23:58   
(edited on: 2019-02-24 23:59)
I suspect the build error is caused by +vmthreads/stdlib.cma having a different ordering and set of modules than +stdlib.cma.
Since vmthreads are being deprecated anyway I would consider always building with system threads.
Alternatively, do at least prefer system threads even on bytecode builds as is done by the patch I just uploaded.